Related Books

An Introduction to Mathematical Logic and Type Theory
Language: en
Pages: 404

An Introduction to Mathematical Logic and Type Theory

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
Homotopy Type Theory: Univalent Foundations of Mathematics
Language: en
Pages: 484

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors:
Categories:
Type: BOOK - Published: - Publisher: Univalent Foundations

GET EBOOK

An Introduction to Mathematical Logic
Language: en
Pages: 514

An Introduction to Mathematical Logic

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
Categorical Logic and Type Theory
Language: en
Pages: 784

Categorical Logic and Type Theory

Authors: B. Jacobs
Categories: Computers
Type: BOOK - Published: 2001-05-10 - Publisher: Gulf Professional Publishing

GET EBOOK

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred cat
Type Theory and Formal Proof
Language: en
Pages: 465

Type Theory and Formal Proof

Authors: Rob Nederpelt
Categories: Computers
Type: BOOK - Published: 2014-11-06 - Publisher: Cambridge University Press

GET EBOOK

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate s