Proof theory and intuitionistic systems /

Saved in:
Bibliographic Details
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
Hidden Bibliographic Details
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