Semantical investigations in Heyting's intuitionistic logic

Verfasser / Beitragende:
Dov M. Gabbay
Ort, Verlag, Jahr:
Dordrecht : D. Reidel, 1981
Beschreibung:
287 S.
Format:
Buch
Online Zugang:
ID: 270433813