Ergebnisse zu
Logik / Mengenlehre

Gnomes in the Fog
The Reception of Brouwer’s Intuitionism in the 1920s
von Dennis E. Hesseling
Buch | Hardcover
2003 | Auflage: 1 | Springer Basel
ISBN: 9783764365363
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Topics in Set Theory
Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions
von Mohamed Bekkali
Buch | Softcover
1991 | Auflage: 1 | Springer Berlin
ISBN: 9783540541219
26,70 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Logic and Computational Complexity
International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
von Daniel Leivant
Buch | Softcover
1995 | Auflage: 1 | Springer Berlin
ISBN: 9783540601784
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Logics in Artificial Intelligence
European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
von Farinas Luis Del Cerro; Ulrich Furbach
Buch | Softcover
1998 | Auflage: 1 | Springer Berlin
ISBN: 9783540651413
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Random Sets
Theory and Applications
von John Goutsias; Ronald P.S. Mahler; Hung T. Nguyen
Buch | Hardcover
1997 | Springer-Verlag New York Inc.
ISBN: 9780387983455
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Proof Theory
An Introduction
von Wolfram Pohlers
Buch | Softcover
1989 | Auflage: 1 | Springer Berlin
ISBN: 9783540518426
80,24 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Mathematical Logic and Applications
Proceedings of the Logic Meeting held in Kyoto, 1987
von Juichi Shinoda; Theodore A. Slaman; Tosiyuki Tugue
Buch | Softcover
1989 | Auflage: 1 | Springer Berlin
ISBN: 9783540515272
48,14 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Adapting Proofs-as-Programs
The Curry--Howard Protocol
von Iman Poernomo; John N. Crossley; Martin Wirsing
Buch | Hardcover
2005 | Springer-Verlag New York Inc.
ISBN: 9780387237596
176,54 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Additive Number Theory
Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
von David Chudnovsky; Gregory Chudnovsky
Buch | Hardcover
2010 | Springer-Verlag New York Inc.
ISBN: 9780387370293
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Godel's Proof
von Ernest Nagel; James R. Newman
Buch | Softcover
2005 | Routledge
ISBN: 9780415355285
16,20 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-20 Tagen