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:: Farmer, William M.
Language:: English
Publisher:: Cham Springer International Publishing AG 2023
ISBN:: 3-031-21111-1
3-031-21112-X
Permalink:: http://bibtest.howest.be/catalog/ebk03:25936578500041?locale=en