Simple Type Theory

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas 著者: William M. Farmer 出版 Birkhäuser. 以下のデジタルおよびeTextbook ISBNs: Simple Type Theory : 9783031211126, 303121112X および 印刷版のISBNは 9783031211119, 3031211111. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas 著者: William M. Farmer 出版 Birkhäuser. 以下のデジタルおよびeTextbook ISBNs: Simple Type Theory : 9783031211126, 303121112X および 印刷版のISBNは 9783031211119, 3031211111. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。