- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
基本説明
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. 1963 edition.
-
- 電子書籍
- キスをするまで帰さない 10 Colo…
-
- 電子書籍
- 人類滅亡直前なのにニート勇者が働かない…
