Proof Theory : the First Step into Impredicativity /
Saved in:
| Author / Creator: | Pohlers, Wolfram. |
|---|---|
| Imprint: | Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009. |
| Description: | 1 online resource. |
| Language: | English |
| Series: | Universitext Universitext. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11958102 |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | 11958102 | ||
| 003 | ICU | ||
| 005 | 20120828173900.0 | ||
| 006 | m d | ||
| 007 | cr nn|008mamaa | ||
| 008 | 080930s2009 xx ob 001 0 eng d | ||
| 019 | |a 656394061 | ||
| 020 | |a 9783540693192 | ||
| 020 | |a 354069319X | ||
| 035 | |a (OCoLC)311303031 |z (OCoLC)656394061 | ||
| 037 | |a 978-3-540-69318-5 |b Springer |n http://www.springerlink.com | ||
| 040 | |a MND |b eng |c MND |d HEBIS |d W2U |d GW5XE |d CEF |d WKM |d OCLCQ | ||
| 049 | |a CGUA | ||
| 082 | 0 | 4 | |a 511.36 |2 22 |
| 090 | |a QA9.54 |b .P64 2009 | ||
| 100 | 1 | |a Pohlers, Wolfram. |0 http://id.loc.gov/authorities/names/n90605509 |1 http://viaf.org/viaf/25156760 | |
| 245 | 1 | 0 | |a Proof Theory : |b the First Step into Impredicativity / |c by Wolfram Pohlers. |
| 260 | |a Berlin, Heidelberg : |b Springer-Verlag Berlin Heidelberg, |c 2009. | ||
| 300 | |a 1 online resource. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Universitext | |
| 504 | |a Includes bibliographical references (p. 357-361) and index. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 1 | 4 | |a Mathematics. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 0 | 7 | |a Beweistheorie. |2 swd |
| 655 | 4 | |a Electronic books. | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 http://id.worldcat.org/fast/fst01002068 | |
| 776 | 0 | 8 | |i Print version: |a Pohlers, Wolfram. |t Proof Theory. |d Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 |z 9783540693185 |z 3540693181 |w (OCoLC)276911268 |
| 830 | 0 | |a Universitext. |0 http://id.loc.gov/authorities/names/n42025686 | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-540-69319-2 |y SpringerLink |
| 903 | |a HeVa | ||
| 035 | |a 8891566 | ||
| 929 | |a eresource | ||
| 999 | f | f | |i 79bff627-e563-5499-a423-09ccc03d3187 |s 7698b88b-18c8-5010-82fa-90994b2d3c3a |
| 928 | |t Library of Congress classification |a QA9.54 .P64 2009 |l Online |c UC-FullText |u http://dx.doi.org/10.1007/978-3-540-69319-2 |z SpringerLink |g ebooks |i 11467354 | ||