Ergebnisse zu
Logik / Mengenlehre

Lecture Notes in Logic 17
von Jan van Eijck; Vincent van Oostrom; Albert Visser
Buch | Softcover
2004 | A K Peters
ISBN: 9781568812038
54,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
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
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
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
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