Skip to content

BOOKS2LEARN

WHAT DO YOU WANT TO LEARN TODAY?

  • Home
  • Topic
  • Book
  • About us
  • Help us improve
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof


- by Peter B. Andrews
isbn: 9781402007637

(0 votes)
0 Comments

This book has been recommended for :


  • Mathematical logic

  • Type theory

  • Type theory

  • Mathematical logic and Foundations of mathematics


Where to get it ?

Printed version
HostGator WordPress Hosting review
Copyright © 2019 theimran.com All Rights Reserved.