English language
Published Sept. 16, 2023 by Springer International Publishing AG.
Simple Type Theory
Practical Logic for Expressing and Reasoning about Mathematical Ideas
William M. Farmer: Simple Type Theory (2023, Springer International Publishing AG)
- ISBN:
- 978-3-031-21111-9
Copied ISBN!