- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele‾ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930).
-
- 電子書籍
- 隠れた心を探して9【タテヨミ】
-
- 電子書籍
- 【単話版】ティアムーン帝国物語~断頭台…



