cover image

Metamathematical investigation of intuitionistic arithmetic and analysis [by] A.S. Troelstra (edition).


Berlin, Heidelberg, New York, Springer, 1973.
ISBN 0387064915, 9780387064918, 9783540064916, 3540064915

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 3 .L28 no.344 Off-site
Request
American
WRLC Shared Collections Facility
No.344-346 bound together. Held at WRLC Center; available for delivery
WRLC Shared Collections Facility
QA3 .L28 no. 344-346 Off-site
Request
George Mason
Fenwick stacks
QA3 .L4 no. 344 Available Request
Georgetown
RIGGS Storage
QA3 .L28 no.344 Available Request
Subjects Bewijstheorie.
Intuitionistic mathematics.
Intuitionistische Analysis.
Intuïtionisme.
Mathématiques intuitionnistes.
Metamathematik.
Model theory.
Modeltheorie.
Modèles, Théorie des.
Preuve, Théorie de la.
Proof theory.
Series Lecture notes in mathematics (Springer-Verlag) ; 344.
Description xvii, 486 pages illustrations 24 cm.
Copyright Date 1973.
Notes Includes bibliographical references (pages 462-475).
Genre Intuitionistische Arithmetik.
Intuitionistische Arithmetik.
Network Numbers (OCoLC)858277
(OCoLC)ocm00858277
WorldCat Search OCLC WorldCat
WorldCat Identities Troelstra, A. S.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks