> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Combining linear-time temporal logic with constructiveness and paraconsistency Beteiligte: Wansing, Heinrich [VerfasserIn]; Kamide, Nirohoro [VerfasserIn] Erschienen: Dresden: Techn. Univ., 2008 Erschienen in: Dresden Preprints in theoretical philosophy and philosophical logic ; 35 Umfang: 43 S. Sprache: Englisch RVK-Notation: CB 4150 : Aufsatzsammlungen verschiedener Gelehrter CC 2500 : Philosophische Logik Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Dresden Preprints in theoretical philosophy and philosophical logic
Zentralbibliothek – Magazin Signatur: 2010 4 011895 Barcode: 32986483 Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung > Bestellen möglich - bitte anmelden