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

Ergebnisse zu
Logik / Mengenlehre

Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
von Andrzej Indrzejczak
Buch | Softcover
2021 | Springer International Publishing
ISBN: 9783030571474
CHF 74,85 (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 | Hardcover
2021 | Oxford University Press
ISBN: 9780192895936
CHF 145,15 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-20 Tagen
Programs as Diagrams
From Categorical Computability to Computable Categories
von Dusko Pavlovic
Buch | Hardcover
2023 | Springer International Publishing
ISBN: 9783031348266
CHF 127,30 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 15-20 Tagen