---

＜図書＞
Theory of formal systems / by Raymond M. Smullyan
(Annals of mathematics studies ; n. 47)

出版者	Princeton, N.J. : Princeton University Press
出版年	1961
本文言語	英語
大きさ	viii, 142 p : ill. ; 26 cm
著者標目	*Smullyan, Raymond M., 1919-
件　名	LCSH:Recursive functions LCSH:Metamathematics
一般注記	"A revision of the author's recent doctoral dissertation--[Princeton]" Includes bibliography

 類似資料