ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
by
田中 一之
単行本
details (
USA
).
ISBN: 978-4-13-064096-1
ISBN-10: 4-13-064096-8
東京大学出版会
· 2006
