Semantical investigations in Heyting's intuitionistic logic
Gespeichert in:
Verfasser / Beitragende:
Dov M. Gabbay
Ort, Verlag, Jahr:
Dordrecht :
D. Reidel,
1981
Beschreibung:
287 S.
Format:
Buch
Online Zugang: