Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Logik / Mengenlehre

Computer Algebra
Symbolic and Algebraic Computation
von B. Buchberger; G.E. Collins; R. Loos
Buch | Softcover
1983 | Auflage: 2 | Springer Wien
ISBN: 9783211817766
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Gnomes in the Fog
The Reception of Brouwer’s Intuitionism in the 1920s
von Dennis E. Hesseling
Buch | Hardcover
2003 | Springer Basel
ISBN: 9783764365363
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 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
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 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 | Springer Berlin
ISBN: 9783540651413
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Logic and Computational Complexity
International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
von Daniel Leivant
Buch | Softcover
1995 | Springer Berlin
ISBN: 9783540601784
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 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
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Topics in Set Theory
Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions
von Mohamed Bekkali
Buch | Softcover
1991 | Springer Berlin
ISBN: 9783540541219
CHF 37,35 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Godel's Proof
von Ernest Nagel; James R. Newman
Buch | Softcover
2005 | Routledge
ISBN: 9780415355285
CHF 24,40 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-20 Tagen
Recursion Theory and Computational Complexity
Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
von G. Lolli
Buch | Softcover
2010 | Springer Berlin
ISBN: 9783642110719
CHF 52,35 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Methods in Mathematical Logic
Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
von Carlos A. Di Prisco
Buch | Softcover
1985 | Springer Berlin
ISBN: 9783540152361
CHF 74,80 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Stat Labs
Mathematical Statistics Through Applications
von Deborah Nolan; Terry P. Speed
Buch | Softcover
2000 | Springer-Verlag New York Inc.
ISBN: 9780387989747
CHF 134,80 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Fundamentals of Computation Theory
Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
von Marek Karpinski
Buch | Softcover
1977 | Springer Berlin
ISBN: 9783540084426
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Proof Theory
An Introduction
von Wolfram Pohlers
Buch | Softcover
1989 | Springer Berlin
ISBN: 9783540518426
CHF 112,30 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 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
CHF 247,15 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
ISILC - Logic Conference
Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
von G. H. Müller; A. Oberschelp; K. Potthoff
Buch | Softcover
1975 | Springer Berlin
ISBN: 9783540075349
CHF 74,80 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Formal Grammar
17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013,..
von Glyn Morrill; Mark-Jan Nederhof
Buch | Softcover
2013 | Springer Berlin
ISBN: 9783642399978
CHF 79,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Plural Logic
Second Edition, Revised and Enlarged
von Alex Oliver; Timothy Smiley
Buch | Softcover
2016 | Oxford University Press
ISBN: 9780198744382
CHF 49,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 15-20 Tagen