古本と中古自転車の現代屋

［古本］状態：並上　2011年再刷

著者/訳者 田中一之／〔ほか〕著
出版社名 日本評論社
発行年月 1997年03月
978-4-535-78241-9
20111016

Ａ　数理論理学入門（準備練習
命題論理　ほか）
Ｂ　不完全性定理（算術の体系
第一不完全性定理　ほか）
Ｃ　組合せ的独立命題（順序数と急増加関数
パーソンズの定理?ΙΣ１と原始再帰的関数　ほか）
Ｄ　算術の超準モデル（算術の超準モデル
テンネンバウムの定理　ほか）