cover image

Intuitionistic logic, model theory and forcing.

Amsterdam, North-Holland Pub. Company, 1969.
ISBN 9780720422566, 0720422566

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA9 .F56 Off-site
WRLC Shared Collections Facility
BC135 .S8 v.47 v.47 Off-site
Off-Campus Shelving
QA9 .F56 Available Request
Subjects Axiomatic set theory.
Ensembles, Théorie axiomatique des.
Forcing (Model theory)
Logique symbolique et mathématique.
Mathématiques intuitionnistes.
Model theory.
Modèles, Théorie des.
logique intuitionniste.
Series Studies in logic and the foundations of mathematics.
Description 191 pages 23 cm.
Copyright Date 1969.
Notes Includes bibliographical references (pages 188-189).
Also issued online.
Network Numbers (OCoLC)68563
WorldCat Search OCLC WorldCat
WorldCat Identities Fitting, Melvin, 1942-
Publication timeline, list of works, related names and subjects and other information


Export citation to: RefWorks