ISBN 3031211146 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 /2024-01-03 Paperback / 312 Pages
isbn-10: 3031211146 / isbn-13: 9783031211140