Accession Number: CS427
Title: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Author: Peter B. Andrews
Year : 2006
Subject: Computer & IT
ISBN/EISBN: 120585359
Medium: Electronic
URL:
Availability: yes
