TY  - BOOK
AU  - Fitting,Melvin Chris
TI  - Intuitionistic logic, model theory and forcing
SN  - 0720422566 :
U1  - 512.817 
PY  - 1969///
CY  - Amsterdam
PB  - North-Holland Pub
KW  - Model theory
KW  - Axiomatic set theory
KW  - Forcing (Model theory)
KW  - Logic
N1  - Includes index; Bibliography: p. 188-189
ER  -