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 |