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 |
ISBN: | 9783540368755 3540368752 038705541X 9780387055411 9783540055419 354005541X |
---|---|
Notes: | Includes bibliographical references (page 291). Restrictions unspecified Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. 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. http://purl.oclc.org/DLF/benchrepro0212 digitized 2010 HathiTrust Digital Library committed to preserve Print version record. |
Other form: | Print version: Scarpellini, Bruno. Proof theory and intuitionistic systems. Berlin, New York, Springer-Verlag, 1971 354005541X |
Similar Items
-
Proof theory and intuitionistic systems.
by: Scarpellini, Bruno
Published: (1971) -
Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973) -
Absoluteness of intuitionistic logic /
by: Leivant, Daniel Maurice Raphaël
Published: (1979) -
Extensional Gödel functional interpretation : a consistency proof of classical analysis /
by: Luckhardt, Horst
Published: (1973) -
Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)