Autorenfreundlich Bücher kaufen?!
Beschreibung
Sequent calculus, Gerhard Gentzen, Classical logic, Sequent, Tautology (logic), Intuitionistic logic, Law of the excluded middle, Jean-Yves Girard, Proof theory, Lemma (mathematics), Admissible rule
Details
| Verlag | OmniScriptum |
| Ersterscheinung | 19. März 2026 |
| Maße | 22 cm x 15 cm x 0.6 cm |
| Gewicht | 161 Gramm |
| Format | Softcover |
| ISBN-13 | 9786130764326 |
| Seiten | 96 |