cover image

Proof theory and intuitionistic systems.


Berlin, New York, Springer-Verlag, 1971.
ISBN 9780387055411, 038705541X, 9783540055419, 354005541X

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 3 .L28 no.212 Off-site
Request
American
WRLC Shared Collections Facility
No. 210-212 bound together. Held at WRLC Center; available for delivery
WRLC Shared Collections Facility
QA3 .L28 no.210-212 no.210-212 Off-site
Request
George Mason
Fenwick stacks
QA3 .L4 no. 212 Available Request
Georgetown
RIGGS Storage
QA3 .L28 no.212 Available Request
Subjects Beweistheorie.
Intuitionistic mathematics.
Intuitionistische Logik.
Intuitionnisme (Mathématiques)
Nombres, Théorie des.
Proof theory.
Zahlentheorie.
Series Lecture notes in mathematics (Springer-Verlag) ; 212.
Description vii, 290, [1] pages 26 cm.
Copyright Date 1971.
Notes Includes bibliographical references (page 291).
Genre Intuitionistisches System.
Network Numbers (OCoLC)163941
(OCoLC)ocm00163941
WorldCat Search OCLC WorldCat
WorldCat Identities Scarpellini, Bruno.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks