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
Request
American
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
Request
George Mason
Fenwick stacks
QA3 .L4 no. 306 Available Request
Georgetown
RIGGS Storage
QA3 .L28 no.306 Available Request
Subjects Analysis.
Axiomatik.
Gödel-Funktionalinterpretation.
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
(OCoLC)ocm00591034
WorldCat Search OCLC WorldCat
WorldCat Identities Luckhardt, Horst.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks