Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay
mainEntity
Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay
author
inLanguage
isbn
9027712026
mainEntityOfPage
name
Semantical investigations in Heyting's intuitionistic logic
numberOfPages
publication
sameAs
label
Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay