Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 42 von 731
|
|
| Link zu diesem Datensatz | https://d-nb.info/1237605296 |
| Titel | Tableau Methods for Propositional Logic and Term Logic / Tomasz Jarmuzek |
| Person(en) | Jarmużek, Tomasz (Verfasser) |
| Organisation(en) | Peter Lang GmbH (Verlag) |
| Verlag | Frankfurt a.M. : Peter Lang GmbH, Internationaler Verlag der Wissenschaften |
| Zeitliche Einordnung | Erscheinungsdatum: 2021 |
| Umfang/Format | Online-Ressource, 228 Seiten (pdf) |
| Andere Ausgabe(n) |
Erscheint auch als Online-Ausgabe: ISBN: 978-3-631-84666-7 Erscheint auch als Online-Ausgabe: ISBN: 978-3-631-84667-4 Erscheint auch als Druck-Ausgabe: Jarmużek, Tomasz: Tableau methods for propositional logic and term logic |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2021072509102955677395 DOI: 10.3726/b18008 |
| URL | https://www.peterlang.com/view/product/84697?format=EPDF (Verlag) |
| ISBN/Einband/Preis | 978-3-631-84653-7 |
| EAN | 9783631846537 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Polish Contemporary Philosophy and Philosophical Humanities ; 20 |
| Schlagwörter | Aussagenlogik ; Terminologische Logik ; Tableau <Logik> |
| DDC-Notation | 511.3 [DDC23ger] |
| Sachgruppe(n) | 510 Mathematik ; 100 Philosophie |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 42 von 731
Administration
