Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

R 3,911
or 4 x payments of R977.75 with Payflex

Availability: Currently in Stock
Delivery: 10-20 working days

Customers who purchased this also purchased....