Introduction to metamathematics

書誌詳細
第一著者:	Kleene, Stephen Cole 1909-1994
フォーマット:	図書
言語:	English
出版事項:	Amsterdam North-Holland 1971.
主題:	Metamathematics.