Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Computer Science Foundations and Applied Logic
Farmer, William M.
- 出版社：Birkhäuser
- 出版年月：2025年 04月
- ISBN：9783031853517
- 装丁：HRD
-
装丁について
- 言語：ENG
- 版次：2ND
- 巻数・ページ数：330 p.
- 分類： 集合論・論理学 , プログラミング & OS