- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.
-
- 電子書籍
- 山と溪谷 2013年11月号 山と溪谷社



