Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Logik / Mengenlehre

Decidable Theories
Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
von J.R. Büchi; G.H. Müller; D. Siefkes; D. Siefkes
Buch | Softcover
1973 | Auflage: 1 | Springer Berlin
ISBN: 9783540063452
CHF 59,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Cylindric Set Algebras
von L. Henkin; J. D. Monk; A. Tarski; H. Andreka; I...
Buch | Softcover
1981 | Auflage: 1 | Springer Berlin
ISBN: 9783540108818
CHF 59,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Proof Theory
The First Step into Impredicativity
von Wolfram Pohlers
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540693185
CHF 104,80 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Aspects of Mathematical Logic
Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968
von E. Casari
Buch | Softcover
2010 | Auflage: 1 | Springer Berlin
ISBN: 9783642110788
CHF 52,35 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Mengenlehre
von E. Kamke
Buch | Hardcover
1955 | Auflage: 3 | De Gruyter
ISBN: 9783111002798
CHF 153,90 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Dependence Logic
Theory and Applications
von Samson Abramsky; Juha Kontinen; Jouko Väänänen;..
Buch | Hardcover
2016 | Auflage: 1 | Springer International Publishing
ISBN: 9783319318011
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Orders of Infinity
The ‘Infinitarcalcul' of Paul Du Bois-Reymond
von G. H. Hardy
Buch | Softcover
2015 | Cambridge University Press
ISBN: 9781107493667
CHF 33,15 (inkl. MwSt)
in den Warenkorb
  • Versand in 15-20 Tagen
Automation of Reasoning
2: Classical Papers on Computational Logic 1967–1970
von J. Siekmann; G. Wrightson
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642819575
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Syntax-Directed Semantics
Formal Models Based on Tree Transducers
von Zoltan Fülöp; Heiko Vogler
Buch | Softcover
2011 | Auflage: 1 | Springer Berlin
ISBN: 9783642722509
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Gnomes in the Fog
The Reception of Brouwer’s Intuitionism in the 1920s
von Dennis E. Hesseling
Buch | Softcover
2012 | Auflage: 1 | Springer Basel
ISBN: 9783034893947
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Proofs and Refutations
The Logic of Mathematical Discovery
von Imre Lakatos; John Worrall; Elie Zahar
Buch | Hardcover
2015 | Cambridge University Press
ISBN: 9781107113466
CHF 118,70 (inkl. MwSt)
in den Warenkorb
  • Versand in 15-20 Tagen