Gentzen's Logical Calculi
(the theory pamphlet)
Seiten
2026
Springer International Publishing (Hersteller)
978-3-031-91999-2 (ISBN)
Springer International Publishing (Hersteller)
978-3-031-91999-2 (ISBN)
- Noch nicht erschienen - erscheint am 08.01.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
| Erscheint lt. Verlag | 8.1.2026 |
|---|---|
| Reihe/Serie | Philosophy and Religion (R0) |
| Religion and Philosophy | SpringerBriefs in Philosophy |
| Zusatzinfo | XVII, 93 p. |
| Verlagsort | Cham |
| Sprache | englisch |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
| Geisteswissenschaften ► Philosophie ► Logik | |
| Naturwissenschaften | |
| Schlagworte | Completeness • Gentzen's Logical Calculi • Gerhard Gentzen • Natural deduction • Philosophical Logic • sequent calculus • Universal property |
| ISBN-10 | 3-031-91999-8 / 3031919998 |
| ISBN-13 | 978-3-031-91999-2 / 9783031919992 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |