Proof methods for modal and intuitionistic logics / Melvin Fitting
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Synthese <Dordrecht> / Library ; 169Publisher: Dordrecht [u.a.] : Reidel, 1983Description: VIII, 555 S. : graph. Darst. ; 23 cmISBN:- 9027715734
- 511.3
Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 84 A 628 | Available | 44680662090 |
Total holds: 0