資料詳細

  • 1 件中、 1 件目

数理論理学とタイプ理論 貸出可

Ｐｅｔｅｒ　Ｂ．Ａｎｄｒｅｗｓ／著 -- 丸善 -- １９８７．１２ --

所蔵

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

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 公開書庫東 410.9/87/ 00006221329 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

タイトル 数理論理学とタイプ理論 ,
書名ヨミ スウリ　ロンリガク　ト　タイプ　リロン
副書名 証明による真理へ
著者 Ｐｅｔｅｒ　Ｂ．Ａｎｄｒｅｗｓ ／著  
著者名ヨミ アンドリュース　ピーター , オガワラ　シナコ
出版者 丸善
出版年 １９８７．１２
ページ数, 大きさ ３１６ｐ, ２２ｃｍ
NDC８版 410.96
一般件名 記号論理学
注記 Ａｎ　ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｍａｔｈｅｍａｔｉｃａｌ　ｌｏｇｉｃ　ａｎｄ　ｔｙｐｅ　ｔｈｅｏｒｙ．／の翻訳

ページの先頭へ