Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Logik / Mengenlehre

Computer Arithmetic and Formal Proofs
Verifying Floating-point Algorithms with the Coq System
von Sylvie Boldo; Guillaume Melquiond
eBook Download (EPUB,PDF)
2017 | Auflage: 1 | Elsevier Science
ISBN: 9780081011706
108,00 €
(CHF 105,50) (inkl. MwSt)
  • Download sofort lieferbar
Logic and Information Flow
von Jan van Eijck; Albert Visser
eBook Download (PDF)
1994 | The MIT Press
ISBN: 9780262292726
60,62 €
(CHF 59,20) (inkl. MwSt)
  • Download sofort lieferbar
Concepts & Images
Visual Mathematics
von Arthur Loeb
eBook Download (PDF)
2012 | Birkhauser Boston
ISBN: 9781461203438
115,14 €
(CHF 112,45) (inkl. MwSt)
  • Download sofort lieferbar
Simplicity Theory
von Byunghan Kim
eBook Download (PDF)
2013 | OUP Oxford
ISBN: 9780191511585
112,37 €
(CHF 109,75) (inkl. MwSt)
  • Download sofort lieferbar
Logic and Discrete Mathematics
A Concise Introduction
von Willem Conradie; Valentin Goranko
eBook Download (EPUB)
2015 | Auflage: 1 | John Wiley & Sons
ISBN: 9781118761090
37,99 €
(CHF 37,10) (inkl. MwSt)
  • Download sofort lieferbar
von Alejandro Illanes; Ira Lewis; Sergio Macias
eBook Download (PDF)
2002 | CRC Press
ISBN: 9780203910245
322,75 €
(CHF 309,95) (inkl. MwSt)
  • Download sofort lieferbar
von E. A. Ashcroft; A. A. Faustini; R. Jagannathan; W...
eBook Download (PDF)
1995 | Oxford University Press
ISBN: 9780195360455
65,23 €
(CHF 63,70) (inkl. MwSt)
  • Download sofort lieferbar
Brouwer meets Husserl
On the Phenomenology of Choice Sequences
von Mark van Atten
eBook Download (PDF)
2006 | Springer Netherlands
ISBN: 9781402050879
149,79 €
(CHF 146,30) (inkl. MwSt)
  • Download sofort lieferbar