cover image

Extensional Gödel functional interpretation; a consistency proof of classical analysis.

Berlin, New York, Springer-Verlag, 1973.
ISBN 3540061193, 9783540061199, 0387061193, 9780387061191

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 3 .L28 no.306 Off-site
WRLC Shared Collections Facility
No.306-307 bound together. Held at WRLC Center; available for delivery
WRLC Shared Collections Facility
QA3 .L28 no. 306-307 Off-site
George Mason
Fenwick stacks
QA3 .L4 no. 306 Available Request
RIGGS Storage
QA3 .L28 no.306 Available Request
Subjects Analysis.
Intuitionistic mathematics.
Intuitionnisme (Mathématiques)
Mathematische Logik.
Preuve, Théorie de la.
Proof theory.
Series Lecture notes in mathematics (Springer-Verlag) ; 306.
Description vi, 161 pages 26 cm.
Copyright Date 1973.
Notes Includes bibliographical references (pages 157-161).
Network Numbers (OCoLC)591034
WorldCat Search OCLC WorldCat
WorldCat Identities Luckhardt, Horst.
Publication timeline, list of works, related names and subjects and other information


Export citation to: RefWorks