Suchergebnisse für ""Olaf Beyersdorff""




Ähnliche Artikel


PROOF AND COMPUTATION II
149,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Peter Schuster Klaus Mainzer & Helmut S
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
21. Juli 2021
World Scientific

Advances in Proof Theory
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2016
27. Mai 2018
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-319-80513-9

Thirty Five Years of Automating Mathematics
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
F.D. Kamareddine (Hrsg.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2003
30. November 2003
Springer / Springer Netherlands
978-1-4020-1656-1

Thirty Five Years of Automating Mathematics
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2003
22. Oktober 2010
Springer / Springer Netherlands
978-90-481-6440-0

Logicism, Intuitionism, and Formalism
233,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (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

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
38,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Part 2: Computation and Proof Theory
1984.
1. Dezember 1984
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-13901-0

A Course in Mathematical Logic for Mathematicians
44,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Yu. I. Manin
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2nd ed.
30. Oktober 2009
Springer / Springer New York / Springer, Berlin
12617210,978-1-4419-0614-4

The Legacy of Kurt Schütte
88,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1st ed. 2020
11. August 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-49423-0

A Course in Mathematical Logic for Mathematicians
44,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Yu. I. Manin
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd ed.
3. März 2012
Springer / Springer New York / Springer, Berlin
978-1-4614-2479-6

Symposium on Automatic Demonstration
34,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Held at Versailles/France, Decembre 1968
1970.
1. Januar 1970
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-04914-2



Ähnlichkeitssuche: Fact®Finder von OMIKRON