ゲーデルと20世紀の論理学 3 不完全性定理と算術の体系

by 田中 一之

単行本

details (USA).

ISBN: 978-4-13-064097-8

ISBN-10: 4-13-064097-6

東京大学出版会 · 2007