Intuitionistic logic, model theory and forcing.

Bibliographic Details
Main Author:	Fitting, Melvin, 1942-
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Published:	Amsterdam, North-Holland Pub. Co., 1969.
Series:	Studies in logic and the foundations of mathematics.
Subjects:	Model theory. Axiomatic set theory. Forcing (Model theory) Logic, Symbolic and mathematical. Logique symbolique et mathématique. Théorie axiomatique des ensembles. Théorie des modèles. Forcing (Théorie des modèles) Logic, Symbolic and mathematical Axiomatic set theory Model theory Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online