Proof theory and intuitionistic systems /
Saved in:
Author / Creator: | Scarpellini, Bruno. |
---|---|
Imprint: | Berlin ; New York : Springer-Verlag, 1971. |
Description: | 1 online resource (vii, 290, [1] pages). |
Language: | English |
Series: | Lecture notes in mathematics, 0075-8434 ; 212 Lecture notes in mathematics (Springer-Verlag) ; 212. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11070775 |
MARC
LEADER | 00000cam a2200000Ia 4500 | ||
---|---|---|---|
001 | 11070775 | ||
005 | 20170630044907.7 | ||
006 | m o d | ||
007 | cr unu|||||||| | ||
008 | 090101s1971 gw ob 000 0 eng d | ||
003 | ICU | ||
040 | |a SPLNM |b eng |e pn |c SPLNM |d GW5XE |d OCLCQ |d OL$ |d OCLCO |d OCLCQ |d GW5XE |d OCLCE |d OCLCF |d OCLCQ |d TXI |d OCLCQ | ||
019 | |a 625165370 |a 680264903 | ||
020 | |a 9783540368755 |q (electronic bk.) | ||
020 | |a 3540368752 |q (electronic bk.) | ||
020 | |z 038705541X | ||
020 | |z 9780387055411 | ||
020 | |z 9783540055419 | ||
020 | |z 354005541X | ||
035 | |a (OCoLC)295025602 |z (OCoLC)625165370 |z (OCoLC)680264903 | ||
042 | |a dlr | ||
050 | 4 | |a QA3 |b .L28 no. 212 |a QA9 | |
049 | |a MAIN | ||
100 | 1 | |a Scarpellini, Bruno. |0 http://id.loc.gov/authorities/names/n96075713 |1 http://viaf.org/viaf/64534431 | |
245 | 1 | 0 | |a Proof theory and intuitionistic systems / |c Bruno Scarpellini. |
260 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1971. | ||
300 | |a 1 online resource (vii, 290, [1] pages). | ||
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 Lecture notes in mathematics, |x 0075-8434 ; |v 212 | |
504 | |a Includes bibliographical references (page 291). | ||
506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
533 | |a Electronic reproduction. |b [S.l.] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
588 | 0 | |a Print version record. | |
505 | 0 | |a And preliminaries -- A review of Gentzen's second consistency proof -- The intuitionistic system of number theory -- A formally intuitionistic system as strong as classical analysis -- Transfinite induction with respect to recursive wellorderings without function parameters -- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters -- A system containing barinduction with respect to decidable predicates -- Harrop formulas -- The Markov principle -- Relative consistency proof of ZTN with respect to ZTi/IN*. | |
650 | 0 | |a Intuitionistic mathematics. |0 http://id.loc.gov/authorities/subjects/sh85067656 | |
650 | 0 | |a Proof theory. |0 http://id.loc.gov/authorities/subjects/sh85107437 | |
650 | 6 | |a Intuitionnisme (Mathématiques) | |
650 | 6 | |a Nombres, Théorie des. | |
650 | 7 | |a Intuitionistic mathematics. |2 fast |0 (OCoLC)fst00977860 | |
650 | 7 | |a Proof theory. |2 fast |0 (OCoLC)fst01078942 | |
650 | 0 | 7 | |a Beweistheorie. |2 swd |
650 | 0 | 7 | |a Intuitionistische Logik. |2 swd |
650 | 0 | 7 | |a Zahlentheorie. |2 swd |
655 | 4 | |a Electronic books. | |
776 | 0 | 8 | |i Print version: |a Scarpellini, Bruno. |t Proof theory and intuitionistic systems. |d Berlin, New York, Springer-Verlag, 1971 |z 354005541X |w (DLC) 78169705 |w (OCoLC)163941 |
830 | 0 | |a Lecture notes in mathematics (Springer-Verlag) ; |v 212. | |
856 | 4 | 0 | |u http://link.springer.com/10.1007/BFb0068783 |y SpringerLink |
903 | |a HeVa | ||
929 | |a eresource | ||
999 | f | f | |i 1566a112-240e-50ac-b5fa-8170d3053148 |s d34c952f-e69c-56b6-807e-c5bd6bc08eb8 |
928 | |t Library of Congress classification |a QA3 .L28 no. 212 |l Online |c UC-FullText |u http://link.springer.com/10.1007/BFb0068783 |z SpringerLink |g ebooks |i 9878838 |