You are here

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

P.B. Andrews
Publisher: 
Springer Verlag
Publication Date: 
2002
Number of Pages: 
408
Format: 
Hardcover
Series: 
Applied Logic Series 27
Price: 
81.00
ISBN: 
1402007639
Category: 
Monograph
BLL Rating: 

The Basic Library List Committee suggests that undergraduate mathematics libraries consider this book for acquisition.

There is no review yet. Please check back later.
Tags: