ISBN 9783031211119 books & textbook

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Farmer, William M.

Birkhäuser /2023-01-02 Hardcover / 309 Pages
isbn-10: 3031211111 / isbn-13: 9783031211119