相模原市の図書館

ログインしていません

蔵書検索・予約

条件入力に戻る

ハイライト：ON OFF

出版年：2006年

分類：410.9

形態：図書

◎目次: 数学的理論の形式化
命題論理
述語論理
等号をもつ述語論理
型の理論
自然数論
自然数の関係および関数についての形式的な表現の可能性
ゲーデルの不完全性定理
補助定理の証明
ゲーデルの第２不完全性定理
帰納的関数
帰納的関数の性質

前原昭二: １９２７年東京に生れる。１９５１年東京大学理学部卒業。元東京工業大学教授・理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)

※予約できる点数は、１人１０点までです。
※長期未返却資料がある場合、お返しいただくまで新たな資料の予約申込みはできません。
※町田市に在住もしくは、多摩美術大学・東京工科大学・桜美林大学に在学、在勤で利用者登録されている方は、ホームページからの予約サービスは受けることができません。

所蔵件数は1件です。

現在の予約件数は0件です。

No.	所在場所	置き場所	分類	図書記号	巻冊記号	資料コード	形態	状態	禁帯
1	相模大野図書館	書庫	410.9			32754616	図書	在架