Autorenfreundlich Bücher kaufen?!
Beschreibung
Mathematician, Logician, Mathematics, Proof theory, Natural deduction, Sequent calculus, Second World War, Gentzen's consistency proof
Details
| Verlag | OmniScriptum |
| Ersterscheinung | 14. März 2026 |
| Maße | 22 cm x 15 cm x 0.7 cm |
| Gewicht | 185 Gramm |
| Format | Softcover |
| ISBN-13 | 9786130804398 |
| Seiten | 112 |