新着案内
Basic proof theory
A.S. Troelstra, H. Schwichtenberg ; : pbk. -- 2nd ed. -- Cambridge University Press, 2000. -- (Cambridge tracts in theoretical computer science ; 43). -- 巻号等：: pbk<図書>
2026/11/10
貸出ランキング
Lending ranking does not exist.
Library Information
新着タグ
5
3
0
5
9
5
5