---

＜図書＞
Mathematical logic and formalized theories; a survey of basic concepts and results

出版者	Amsterdam : North-Holland
出版年	1971
大きさ	xi, 235 p. 23 cm.
著者標目	Rogers, Robert, 1926-
件　名	Logic, Symbolic and mathematical
一般注記	Sole distributors for the U.S.A. and Canada: American Elsevier, New York. ＼ Bibliography: p. 227-229.

 類似資料