Intuitionistic logic, model theory and forcing

書目詳細資料
主要作者:	Fitting, Melvin Chris, 1942-
格式:	圖書
語言:	English
出版:	Amsterdam North-Holland Pub. Co. 1969.
叢編:	Studies in logic and the foundation of mathematics.
主題:	Model theory. Axiomatic set theory.