Simple Type Theory

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

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