info@buecher-doppler.ch

056 222 53 47

Registrieren/Login

Start
A Modern Perspective on Type Theory

A Modern Perspective on Type Theory

A Modern Perspective on Type Theory

Angebote / Angebote:

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

Lieferbar in ca. 20-45 Arbeitstagen

Preis

199,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9789048166398
Status Lieferbar in ca. 20-45 Arbeitstagen
Autor Kamareddine, F.D. / Laan, T. / Nederpelt, Rob
Einband B, Mathematical Logic and Foundations, Mathematics of Computing, Logic, Mathematics and Statistics, Mathematical logic, Computer science—Mathematics, Mathematical theory of computation, Maths for computer scientists, Philosophy: logic, Kartonierter Einband (Kt)
Sprache eng
Seiten 360
Verlag Springer Nature EN
Reihe Applied Logic Series
Publikationsjahr 2010

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.

Artikel, die Sie kürzlich angesehen haben

Wavelets Through a Looking Glass

Wavelets Through a Looking ...

Lieferbar in ca. 20-45 Arbeitstagen

Bratteli, Ola / Jorgensen, Palle / Treadway, B.

124,00 CHF

Does God Lie?

Does God Lie?

Folgt in ca. 10 Arbeitstagen

Davis, Jimmy H.

23,90 CHF