TY  - BOOK
T1  - Intuitionistic logic, model theory and forcing
T2  - Studies in logic and the foundation of mathematics.
A1  - Fitting, Melvin Chris, 1942-
LA  - English
PP  - Amsterdam
PB  - North-Holland Pub. Co.
YR  - 1969
UL  - https://ds.mainlib.upd.edu.ph/Record/UP-99796217607675338
OP  - 191
CN  - QA 9 F58
SN  - 0720422566
KW  - Model theory.
KW  - Axiomatic set theory.
ER  -