TY  - BOOK
AU  - Fitting, Melvin Chris
TI  - Intuitionistic logic model theory and forcing
U1  - 164 
PY  - 1969///
CY  - Amsterdam
PB  - North_Holland
KW  - Intuitionistic logic
ER  -