---

＜図書＞
Solvable cases of the decision problem
(Studies in logic and the foundations of mathematics)

出版者	Amsterdam : North-Holland
出版年	1962 {c1954}
大きさ	viii, 114 p. 22 cm.
著者標目	Ackermann, Wilhelm, 1896-
件　名	Logic, Symbolic and mathematical
一般注記	Includes bibliography.

 類似資料