
Simple Type Theory – A Practical Logic for Expressing and Reasoning About Mathematical Ideas (PDF/EPUB Version)
$19.99
Description
Author: William M. Farmer
Series: Computer Science Foundations and Applied Logic
Publisher: Springer Nature Switzerland
Year: 2023
Edition: 1
Language: English
ISSN: