ゲーデルに挑む: 証明不可能なことの証明

by 田中 一之

単行本

details (USA).

ISBN: 978-4-13-063900-2

ISBN-10: 4-13-063900-5

東京大学出版会 · 2012