TY - BOOK AU - Fitting, Melvin Chris. TI - Intuitionistic logic model theory and forcing /by Melvin Chris Fitting T2 - Studies in Logic and the Foundations of Mathematics SN - 0720422566 U1 - 511.2 PY - 1969/// CY - Amsterdam PB - North-Holland Pub.Co ER -