Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Trustpilot
Sneha T.
1 month ago
Meera L.
3 weeks ago
30 daysfor PRO membership users
15 dayswithout membership
Ali H.
1 day ago
Ayesha M.
5 days ago