Related Books

An Introduction to Mathematical Logic and Type Theory
Language: en
Pages: 404
Authors: Peter B. Andrews
Categories: Mathematics
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

GET EBOOK

In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introducti
An Introduction to Mathematical Logic and Type Theory
Language: en
Pages: 416
Authors: Peter B. Andrews
Categories: Computers
Type: BOOK - Published: 2002-07-31 - Publisher: Springer Science & Business Media

GET EBOOK

In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introducti
An Introduction to Mathematical Logic and Type Theory
Language: en
Pages: 414
Authors: Peter B. Andrews
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

GET EBOOK

Homotopy Type Theory: Univalent Foundations of Mathematics
Language: en
Pages: 484
Authors:
Categories:
Type: BOOK - Published: - Publisher: Univalent Foundations

GET EBOOK

An Introduction to Mathematical Logic
Language: en
Pages: 514
Authors: Richard E. Hodel
Categories: Mathematics
Type: BOOK - Published: 2013-01-01 - Publisher: Courier Corporation

GET EBOOK

This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains