Dov M. Gabbay (1981): Semantical Investigations into Heytings Intuitionistic Logic
Title:
Semantical Investigations into Heytings Intuitionistic Logic
Author(s):
Dov M. Gabbay
Year:
1981
Number:
148
Publisher:
Reidel
Address:
Dordrecht
Concepts
