Normal view
MARC view
- Mathematical systems
Mathematical systems(Topical Term)
Machine generated authority record.
Machine generated authority record.
Work cat.: (OSt): Gabbay, Dov M, 1945- 7433, Semantical investigations in heyting's intuitionistic logic., c1981.
Work cat.: (OSt): Gabbay, Dov M, 1945- 7433, Semantical investigations in heyting's intuitionistic logic., c1981.