Book Title: Simple Type Theory
Book Subtitle: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Authors: William M. Farmer
Series Title: Computer Science Foundations and Applied Logic
DOI: https://doi.org/10.1007/978-3-031-21112-6
Publisher: Birkhäuser Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Hardcover ISBN: 978-3-031-21111-9Published: 02 January 2023
Softcover ISBN: 978-3-031-21114-0Due: 02 January 2024
eBook ISBN: 978-3-031-21112-6Published: 01 January 2023
Series ISSN: 2731-5754
Series E-ISSN: 2731-5762
Edition Number: 1
Number of Pages: XIV, 295
Number of Illustrations: 7 b/w illustrations, 3 illustrations in colour
