Knowledge E-Library

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

Call Us

Registry: +9647503000600
Registry: +9647503000700
Presidency: +9647503000800