Ergebnisse zu
Logik / Mengenlehre

Gödel's Theorem
An Incomplete Guide to Its Use and Abuse
von Torkel Franzén
Buch | Softcover
2005 | A K Peters
ISBN: 9781568812380
44,85 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-20 Tagen
Giuseppe Peano between Mathematics and Logic
Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario..
von Fulvia Skof
Buch | Softcover
2010 | Springer Verlag
ISBN: 9788847018358
149,79 € (inkl. MwSt)
in den Warenkorb
  • Lieferbar (Termin unbekannt)
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
176,54 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
187,24 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Reflection in Rewriting Logic
Metalogical Foundations and Metaprogramming Applications
von Manuel Clavel
Buch | Softcover
2000 | Centre for the Study of Language &..
ISBN: 9781575862385
29,90 € (inkl. MwSt)
jetzt vorbestellen
  • Titel z.Zt. nicht lieferbar
Piton
A Mechanically Verified Assembly-Level Language
von J Strother Moore
Buch | Softcover
2013 | Springer
ISBN: 9789401737913
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen