TY  - BOOK
AU  - Gobbay Don V
TI  - Semantical investigations in heyting's instuitionistic logic
T2  - Synthese library
U1  - R14, M1 
PY  - 1981///
CY  - London
PB  - D Reidel Publishing     
ER  -