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

Ergebnisse zu
Logik / Mengenlehre

A Source Book in Mathematical Logic, 1879–1931
von Jean Van Heijenoort
Buch | Softcover
2002 | Harvard University Press
ISBN: 9780674324497
CHF 74,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
von Sy-David Friedman; Dilip Raghavan; Yue Yang
Buch | Hardcover
2017 | World Scientific Publishing Co Pte..
ISBN: 9789813223516
CHF 165,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-20 Tagen
Simply Gödel
von Professor of Philosophy Richard Tieszen
Buch | Softcover
2017 | Simply Charly
ISBN: 9781943657155
CHF 13,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-20 Tagen
Proof Theory
von Lev D. Beklemishev
eBook Download (PDF)
2000 | Auflage: 1 | Elsevier Science
ISBN: 9780080954912
208,07 €
(CHF 199,95) (inkl. MwSt)
  • Download sofort lieferbar
Handbook of Automated Reasoning
von Alan J.A. Robinson; Andrei Voronkov
eBook Download (EPUB)
2001 | Auflage: 1 | Elsevier Science
ISBN: 9780080532790
377,61 €
(CHF 368,90) (inkl. MwSt)
  • Download sofort lieferbar
von Lev D. Beklemishev
eBook Download (PDF)
2000 | Auflage: 1 | Elsevier Science
ISBN: 9780080954745
205,84 €
(CHF 199,95) (inkl. MwSt)
  • Download sofort lieferbar
Logic Colloquium '88
von C. Bonotto; R. Ferro; S. Valentini; A. Zanardo
eBook Download (PDF)
1989 | Auflage: 1 | Elsevier Science
ISBN: 9780080887678
53,31 €
(CHF 51,95) (inkl. MwSt)
  • Download sofort lieferbar
von Lev D. Beklemishev
eBook Download (PDF)
2000 | Auflage: 1 | Elsevier Science
ISBN: 9780080954851
205,84 €
(CHF 199,95) (inkl. MwSt)
  • Download sofort lieferbar
Classification Theory
and the Number of Non-Isomorphic Models
von S. Shelah
eBook Download (PDF)
1990 | Auflage: 2 | Elsevier Science
ISBN: 9780080880242
268,41 €
(CHF 259,95) (inkl. MwSt)
  • Download sofort lieferbar
Matrix Logic
Theory and Applications
von A. Stern
eBook Download (PDF)
2014 | Auflage: 1 | Elsevier Science
ISBN: 9781483295497
53,38 €
(CHF 52,15) (inkl. MwSt)
  • Download sofort lieferbar
von M. Rodriguez Artalejo; H.-D. Ebbinghaus; J...
eBook Download (PDF)
2000 | Auflage: 1 | Elsevier Science
ISBN: 9780080880068
127,92 €
(CHF 124,95) (inkl. MwSt)
  • Download sofort lieferbar
How to Solve It
A New Aspect of Mathematical Method
von George Polya
eBook Download (EPUB)
2014 | Princeton University Press
ISBN: 9781400828678
21,99 €
(CHF 21,45) (inkl. MwSt)
  • Download sofort lieferbar
Formal Models and Semantics
von Bozzano G Luisa
eBook Download (PDF)
2014 | Auflage: 1 | Elsevier Science
ISBN: 9780080933924
279,34 €
(CHF 269,95) (inkl. MwSt)
  • Download sofort lieferbar
Logic Colloquium '84
von J.B. Paris; A.J. Wilkie; G.M. Wilmers
eBook Download (PDF)
2011 | Auflage: 1 | Elsevier Science
ISBN: 9780080960432
18,17 €
(CHF 17,75) (inkl. MwSt)
  • Download sofort lieferbar
Cylindric Algebras
von Bozzano G Luisa
eBook Download (PDF)
1985 | Auflage: 1 | Elsevier Science
ISBN: 9780080887586
53,52 €
(CHF 52,25) (inkl. MwSt)
  • Download sofort lieferbar
Logic-Based Decision Support
Mixed Integer Model Formulation
von R.G. Jeroslow
eBook Download (PDF)
1989 | Auflage: 1 | Elsevier Science
ISBN: 9780080867809
53,45 €
(CHF 52,20) (inkl. MwSt)
  • Download sofort lieferbar
von Lev D. Beklemishev
eBook Download (PDF)
2000 | Auflage: 1 | Elsevier Science
ISBN: 9780080954868
208,15 €
(CHF 199,95) (inkl. MwSt)
  • Download sofort lieferbar
Recursive Model Theory
eBook Download (PDF)
1998 | Auflage: 1 | Elsevier Science
ISBN: 9780080533698
147,00 €
(CHF 143,60) (inkl. MwSt)
  • Download sofort lieferbar
Selected Papers on Automath
von J.H. Geuvers; R.P. Nederpelt; R.C. de Vrijer
eBook Download (PDF)
1994 | Auflage: 1 | Elsevier Science
ISBN: 9780080887180
53,84 €
(CHF 52,60) (inkl. MwSt)
  • Download sofort lieferbar
von Lev D. Beklemishev
eBook Download (PDF)
2000 | Auflage: 1 | Elsevier Science
ISBN: 9780080954998
206,72 €
(CHF 199,95) (inkl. MwSt)
  • Download sofort lieferbar
von Lev D. Beklemishev
eBook Download (PDF)
2000 | Auflage: 1 | Elsevier Science
ISBN: 9780080955032
206,82 €
(CHF 199,95) (inkl. MwSt)
  • Download sofort lieferbar
Model Theory
von C.C. Chang; H.J. Keisler
eBook Download (PDF)
1990 | Auflage: 3 | Elsevier Science
ISBN: 9780080880075
53,47 €
(CHF 52,20) (inkl. MwSt)
  • Download sofort lieferbar
Lambda Calculus
Its Syntax and Semantics
von H.P. Barendregt
eBook Download (PDF)
2013 | Auflage: 2 | Elsevier Science
ISBN: 9780080933757
98,42 €
(CHF 96,15) (inkl. MwSt)
  • Download sofort lieferbar
von Lev D. Beklemishev
eBook Download (PDF)
2000 | Auflage: 1 | Elsevier Science
ISBN: 9780080954813
208,07 €
(CHF 199,95) (inkl. MwSt)
  • Download sofort lieferbar
Nuts and Bolts of Proofs
An Introduction to Mathematical Proofs
von Antonella Cupillari
eBook Download (EPUB)
2005 | Auflage: 3 | Elsevier Science
ISBN: 9780080537900
36,32 €
(CHF 35,45) (inkl. MwSt)
  • Download sofort lieferbar
Topoi
The Categorial Analysis of Logic
von R. Goldblatt
eBook Download (PDF)
2014 | Auflage: 2 | Elsevier Science
ISBN: 9781483299211
53,65 €
(CHF 52,40) (inkl. MwSt)
  • Download sofort lieferbar
Extrapolation Methods
Theory and Practice
von C. Brezinski; M. Redivo Zaglia
eBook Download (PDF)
2013 | Auflage: 1 | Elsevier Science
ISBN: 9780080506227
53,45 €
(CHF 52,20) (inkl. MwSt)
  • Download sofort lieferbar
Systems Engineering Using SDL-92
von A. Olsen; O. Faergemand; B. Moller-Pedersen; R...
eBook Download (PDF)
2012 | Auflage: 1 | Elsevier Science
ISBN: 9780444598905
53,59 €
(CHF 52,35) (inkl. MwSt)
  • Download sofort lieferbar
Algorithms and Complexity
von Bozzano G Luisa
eBook Download (PDF)
2014 | Auflage: 1 | Elsevier Science
ISBN: 9780080933917
53,43 €
(CHF 52,20) (inkl. MwSt)
  • Download sofort lieferbar