スマリヤン数理論理学 : 述語論理と完全性定理スマリヤン数理論理学 : 述語論理と完全性定理RaymondM Smullyan, 高橋昌一郎, 村上祐子出版社丸善出版発売日2014-11-01ISBN9784621087855読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
