- ホーム
- > 洋書
- > ドイツ書
- > Mathematics, Sciences & Technology
- > Mathematics
- > basics
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.