Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Logik / Mengenlehre

The Story of Cryptology
von Craig Bauer
eBook Download (PDF)
2021 | CRC Press
ISBN: 9781351668507
69,22 €
(CHF 67,60) (inkl. MwSt)
  • Download sofort lieferbar
x+y
A Mathematician's Manifesto for Rethinking Gender
von Eugenia Cheng
Buch | Softcover
2021 | Profile Books Ltd
ISBN: 9781788160414
CHF 17,40 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 2-3 Tagen
PROOF AND COMPUTATION II
From Proof Theory and Univalent Mathematics to Program Extraction and Verification
von Klaus Mainzer; Helmut Schwichtenberg; Peter Michael..
eBook Download (EPUB)
2021 | World Scientific Publishing..
ISBN: 9789811236495
109,99 €
(CHF 107,45) (inkl. MwSt)
  • Download sofort lieferbar
Mastering Calculus through Practice
A Study Guide with over 300 Solved Exercises
von Bárbara de Holanda Maia Teixeira; Edmundo Capelas de..
Buch | Hardcover
2021 | Springer International Publishing
ISBN: 9783030833398
CHF 97,35 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 15-20 Tagen
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
von Paolo Mancosu; Sergio Galvan; Richard Zach
Buch | Softcover
2021 | Oxford University Press
ISBN: 9780192895943
CHF 43,50 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-20 Tagen
Threshold Logic
von Sze-Tsen Hu
Buch | Softcover
2021 | University of California Press
ISBN: 9780520329553
CHF 73,30 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Lieferbar (Termin unbekannt)
Threshold Logic
von Sze-Tsen Hu
Buch | Hardcover
2021 | University of California Press
ISBN: 9780520369085
CHF 139,65 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Lieferbar (Termin unbekannt)
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
von Paolo Mancosu; Sergio Galvan; Richard Zach
Buch | Hardcover
2021 | Oxford University Press
ISBN: 9780192895936
CHF 145,15 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-20 Tagen