Suchergebnisse für ""F.D. Kamareddine""

Thirty Five Years of Automating Mathematics
81,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
F.D. Kamareddine (Hrsg.)
Thirty Five Years of Automating Mathematics
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2003
30. November 2003
Springer / Springer Netherlands
978-1-4020-1656-1
Auch erhältlich als
eBook, PDF73,95 €
A Modern Perspective on Type Theory
120,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
F.D. Kamareddine
T. Laan
Rob Nederpelt
A Modern Perspective on Type Theory
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
From its Origins until Today
Softcover reprint of hardcover 1st ed. 2004
22. Oktober 2010
Springer / Springer Netherlands
978-90-481-6639-8
Auch erhältlich als
Gebundenes Buch145,99 €
eBook, PDF97,95 €
A Modern Perspective on Type Theory
145,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
F.D. Kamareddine
T. Laan
Rob Nederpelt
A Modern Perspective on Type Theory
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
From its Origins until Today
2004
9. Juni 2004
Springer / Springer Netherlands
978-1-4020-2334-7

Ähnliche Artikel

Thirty Five Years of Automating Mathematics
81,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Thirty Five Years of Automating Mathematics
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2003
22. Oktober 2010
Springer / Springer Netherlands
978-90-481-6440-0
An Introduction to Mathematical Logic and Type Theory
83,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Peter B. Andrews
An Introduction to Mathematical Logic and Type Theory
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
To Truth Through Proof
2. Aufl.
9. Dezember 2010
Springer / Springer Netherlands
978-90-481-6079-2
Logicism, Intuitionism, and Formalism
226,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Logicism, Intuitionism, and Formalism
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
What Has Become of Them?
Softcover reprint of hardcover 1st ed. 2009
28. Oktober 2010
Springer / Springer Netherlands
978-90-481-8029-5
Inconsistent Mathematics
41,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
C. E. Mortensen
Inconsistent Mathematics
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 1995
6. Dezember 2010
Springer / Springer Netherlands
978-90-481-4480-8
Inconsistent Mathematics
41,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
C. E. Mortensen
Inconsistent Mathematics
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1994.
30. November 1994
Springer / Springer Netherlands
978-0-7923-3186-5
Godel's Proof
58,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Ernest Nagel
James R. Newman
Godel's Proof
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Revised edition
1. Oktober 2001
New York University Press
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
81,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Igor Lavrov
Larisa Maksimova
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2003
31. März 2003
Springer Netherlands
MATHEMATICS FOR COMPUTATION (M4C)
148,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Olaf Beyersdorff Michael Marco Benini
MATHEMATICS FOR COMPUTATION (M4C)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
21. März 2023
World Scientific
PROOF AND COMPUTATION II
148,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Peter Schuster Klaus Mainzer & Helmut S
PROOF AND COMPUTATION II
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
21. Juli 2021
World Scientific


Ähnlichkeitssuche: Fact®Finder von OMIKRON