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


Please be aware orders placed now may not arrive in time for Christmas, please check delivery times.

Customers who purchased this also purchased....