Normal view
MARC view
Gabbay, Dov M., 1945- (Personal Name)
Machine generated authority record.
Work cat.: (): Gabbay, Dov M., 1945-, Semantical investigations in heyting's intuitionistic logic /, c1981
