Ergebnisse zu
Logik / Mengenlehre

Logics of Variable Inclusion
von Stefano Bonzio; Francesco Paoli; Michele Pra Baldi
Buch | Softcover
2023 | Auflage: 1 | Springer International Publishing
ISBN: 9783031042997
117,69 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Advances in Mathematical Logic
Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
von Toshiyasu Arai; Makoto Kikuchi; Satoru Kuroda;..
Buch | Softcover
2023 | Springer Verlag, Singapore
ISBN: 9789811641756
171,19 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
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
108,45 € (inkl. MwSt)
in den Warenkorb
  • Lieferbar (Termin unbekannt)