Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Format:: e-book
Title:: Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author:: William M. Farmer
Language:: English
Publisher:: Springer Nature (Textbooks & Major Reference Works) 2025
ISBN:: 3-031-85351-2
3-031-85352-0
Permalink:: http://bibtest.howest.be/catalog/ebk03:38586596600041?locale=en