You are here

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

Publisher: 
Springer Verlag
Number of Pages: 
408
Price: 
81.00
ISBN: 
1402007639
Date Received: 
Saturday, July 15, 2006
Reviewable: 
Yes
Include In BLL Rating: 
Yes
P.B. Andrews
Series: 
Applied Logic Series 27
Publication Date: 
2002
Format: 
Hardcover
Category: 
Monograph
Tags: 
BLL Committee
10/29/2010
BLL Rating: 
Publish Book: 
Modify Date: 
Friday, October 29, 2010

Dummy View - NOT TO BE DELETED