Proof methods for modal and intuitionistic logics / Melvin Fitting
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Synthese <Dordrecht> / Library ; 169Verlag: Dordrecht [u.a.] : Reidel, 1983Beschreibung: VIII, 555 S. : graph. Darst. ; 23 cmISBN:- 9027715734
- 511.3
Medientyp | Heimatbibliothek | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 84 A 628 | Verfügbar | 44680662090 |
Anzahl Vormerkungen: 0