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
Request
American
WRLC Shared Collections Facility
BC135 .S8 v.47 v.47 Off-site
Request
Georgetown
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
(OCoLC)ocm00068563
WorldCat Search OCLC WorldCat
WorldCat Identities Fitting, Melvin, 1942-
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks