Custom cover image
Custom cover image

Proof methods for modal and intuitionistic logics / Melvin Fitting

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: Synthese <Dordrecht> / Library ; 169Publisher: Dordrecht [u.a.] : Reidel, 1983Description: VIII, 555 S. : graph. Darst. ; 23 cmISBN:
  • 9027715734
Subject(s): DDC classification:
  • 511.3
RVK: RVK: CC 2600 | SK 130Call number: Grundsignatur: 84 A 628PPN: PPN: 013992511
Holdings
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
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT

Powered by Koha