close
1.

図書
図書
1. 記号論理学の基礎. 改訂最新版
ヒルベルト, アッケルマン著 ; 石本新, 竹尾治一郎訳
出版情報: 東京 : 大阪教育図書, 1974.7
所蔵情報: loading…
2.

図書
図書
2. Grundzüge der theoretischen Logik. 4. Aufl
von D. Hilbert und W. Ackermann
出版情報: Berlin : Springer, 1959
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 27
所蔵情報: loading…
3.

図書
図書
3. Solvable cases of the decision problem
by W. Ackermann
出版情報: Amsterdam : North-Holland, c1954
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
4.

図書
図書
4. Principles o f mathematical logic
by D. Hilbert and W. Ackermann ; translated from the German by Lewis M. Hammond, George G. Leckie, F. Steinhardt ; edited and with notes by Robert E. Luce
出版情報: New York : Chelsea Pub. Co., c1950
所蔵情報: loading…