広瀬健

hirose ken/take/takeshi/tsuyoshi/yasushi

title	ISBN-13 (ISBN-10)	year of publication
ゲーデルの世界―完全性定理と不完全性定理 geーderunosekai―kanzenseiteiritofukanzenseiteiri	978-4-87525-106-4 (4-87525-106-8)	1985
数学・基礎の基礎 suugaku・kisonokiso	978-4-87525-174-3 (4-87525-174-2)	1996