Eintrag weiter verarbeiten
Semantical investigations in Heyting's intuitionistic logic
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: | Semantical investigations in Heyting's intuitionistic logic/ Dov M. Gabbay |
veröffentlicht: |
Dordrecht [u.a.]:
Reidel,
1981
|
Umfang: | X, 287 S; graph. Darst |
Teil von: | Synthese <Dordrecht> / Library ; 148 |
ISBN: |
9027712026 |
Format: | Buch |
Quelle: | Verbunddaten SWB |
Sprache: | Englisch |