このページのリンク

カンゼンセイ テイリ ト モデル リロン
完全性定理とモデル理論
(ゲーデルと20世紀の論理学(ロジック) / 田中一之編 ; 2)

データ種別 図書
出版者 東京 : 東京大学出版会
出版年 2006.10
大きさ 286p ; 22cm
目次/あらすじ

所蔵情報を非表示

GF:BOOK.SHELF 411/G562/v.2 06550181
4130640968

ASRS 411/G562/v.2/c.2 06561605
4130640968

書誌詳細を非表示

内容注記 文献:部末
著者標目 田中, 一之 <タナカ,カズユキ>
件 名
数学基礎論--歴史
記号論理学
モデルの理論
分 類 NDC:411
書誌ID 1001312935
ISBN 4130640968
URL1 http://www.utp.or.jp/booksearch/cgi/isbn.cgi?isbn=ISBN4-13-064096-8

 類似資料