Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Logik / Mengenlehre

A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
von Johan van Benthem
eBook Download (PDF)
2012 | Springer Netherlands
ISBN: 9789401098687
127,74 €
(CHF 124,80) (inkl. MwSt)
  • Download sofort lieferbar
Logic, Meaning and Computation
Essays in Memory of Alonzo Church
von C. Anthony Anderson; Michael Zeleny
eBook Download (PDF)
2012 | Springer Netherlands
ISBN: 9789401005265
165,83 €
(CHF 159,95) (inkl. MwSt)
  • Download sofort lieferbar
Domains and Processes
Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
von Yixiang Chen; Klaus Keimel; Ying Ming Liu;..
eBook Download (PDF)
2012 | Springer Netherlands
ISBN: 9789401006545
115,37 €
(CHF 112,70) (inkl. MwSt)
  • Download sofort lieferbar
Type Theory and Formal Proof
An Introduction
von Herman Geuvers; Rob Nederpelt
eBook Download (EPUB)
2014 | Cambridge University Press
ISBN: 9781316053980
86,21 €
(CHF 84,20) (inkl. MwSt)
  • Download sofort lieferbar
The Mathematics of Truth and Proof
von John Stillwell
eBook Download (PDF)
2010 | CRC Press
ISBN: 9781439865507
59,06 €
(CHF 57,70) (inkl. MwSt)
  • Download sofort lieferbar
von Dominique Lecomte
eBook Download (PDF)
American Mathematical Society
ISBN: 9780821894590
95,54 €
(CHF 93,30) (inkl. MwSt)
  • Download sofort lieferbar