164 GABBAY, DOV M SEMENTICAL INVESTIGATIONS IN HEYTING`S INTUITIONISM LOGIC / / D. M. GABBAY. - DORDRECHT: : D. REIDEL PUB.,, 1981. x,287 P. : 9027712026 : 100 * INTUITIONISM LOGIC. SYMBOLIC LOGIC. HEYTING,AREND (LOGIC).
Technology Private Limited