Ackermann, Wilhelm, 1896-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | 著書:ヒルベルト.記号論理学の基礎 EDSRC:記號論理學の基礎 / ヒルベルト及びアッケルマン原著 ; 伊藤誠訳([出版者不明], [19--]) |
生没年等 | 1896 |
から見よ参照 | Ackermann, W. アッケルマン<アッケルマン> |
コード類 | 典拠ID=AU00045772 NCID=DA02521718 |
1 | 記号論理学の基礎 / ヒルベルト, アッケルマン著 ; 石本新, 竹尾治一郎訳 改訂最新版. - 東京 : 大阪教育図書 , 1974.7 |
2 | 記号論理学の基礎 / ヒルベルト, アッケルマン共著 ; 伊藤誠訳 東京 : 大阪教育図書社 , 1954.5 |
3 | Solvable cases of the decision problem / by W. Ackermann Amsterdam : North-Holland , c1954 |