Intuitionistic logic, model theory and forcing.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1969
Place of publication: Amsterdam
Language: eng
Number of pages: 191
Subjects: Model theory.; Axiomatic set theory.; Forcing (Model theory)
Notes: Bibliography: p. [188]-189.