TY  - BOOK
AU  - GABBAY, DOV  M
TI  - SEMENTICAL INVESTIGATIONS IN HEYTING`S INTUITIONISM LOGIC / 
T2  - SYNTHESE LIBRARY
SN  - 9027712026
U1  - 164 
PY  - 1981///
CY  - DORDRECHT
PB  - D. REIDEL PUB.
KW  - INTUITIONISM LOGIC
KW  - SYMBOLIC LOGIC
KW  - HEYTING,AREND (LOGIC)
ER  -