Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Logik / Mengenlehre

Adapting Proofs-as-Programs
The Curry--Howard Protocol
von Iman Poernomo; John N. Crossley; Martin Wirsing
Buch | Softcover
2010 | Springer-Verlag New York Inc.
ISBN: 9781441920140
CHF 247,15 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
New Computational Paradigms
Changing Conceptions of What is Computable
von S.B. Cooper; Benedikt Löwe; Andrea Sorbi
Buch | Softcover
2010 | Springer-Verlag New York Inc.
ISBN: 9781441922632
CHF 259,95 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Logic Colloquium '99
Lecture Notes in Logic 17
von Jan van Eijck; Vincent van Oostrom; Albert Visser
Buch | Softcover
2004 | A K Peters
ISBN: 9781568812038
CHF 76,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Piton
A Mechanically Verified Assembly-Level Language
von J Strother Moore
Buch | Softcover
2013 | Springer
ISBN: 9789401737913
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Logical Dilemmas
The Life and Work of Kurt Gödel
von John Dawson
Buch | Softcover
2005 | A K Peters
ISBN: 9781568812564
CHF 76,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Logic Colloquium '02
Lecture Notes in Logic 27
von Zoe Chatzidakis; Peter Koepke; Wolfram Pohlers
Buch | Hardcover
2006 | A K Peters
ISBN: 9781568813004
CHF 136,15 (inkl. MwSt)
jetzt vorbestellen
  • Titel z.Zt. nicht lieferbar