Titel |
Tableau Methods for Propositional Logic and Term Logic / Tomasz Jarmuzek |
|---|---|
Beteiligt |
Tomasz Jarmużek (Verfasser) |
Erschienen |
Frankfurt a.M.: Peter Lang GmbH, Internationaler Verlag der Wissenschaften |
Umfang |
Online-Ressource, 228 Seiten |
ISBN |
978-3-631-84653-7 |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
|
DDC-Notation |
|
Reihe |
Polish Contemporary Philosophy and Philosophical Humanities ; 20 |
Andere Ausgaben |
Erscheint auch als Druck-Ausgabe: Tableau methods for propositional logic and term logic |
Persistent Identifier |
urn:nbn:de:101:1-2021072509102955677395 (URN) |
Datensatz-ID |
1237605296 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: