Book - BOOKS2LEARN

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 :

Where to get it ?

Printed version