Related Books
Language: de
Pages: 198
Pages: 198
Type: BOOK - Published: 2011-06-02 - Publisher: Springer Science & Business Media
Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds seve
Language: en
Pages: 212
Pages: 212
Type: BOOK - Published: 2011-06-04 - Publisher:
Language: en
Pages: 116
Pages: 116
Type: BOOK - Published: 1984 - Publisher:
Language: en
Pages: 118
Pages: 118
Type: BOOK - Published: 2015-07-08 - Publisher: Springer
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the
Language: en
Pages: 341
Pages: 341
Type: BOOK - Published: 2018-08-16 - Publisher: Springer
This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The autho