資料詳細

検索条件

  • 著者
    白井浩司
ハイライト
  • 1 件中、 1 件目

数理論理学とタイプ理論

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

所蔵

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

所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
書庫 4109/A2/ 1102841432 一般 貸出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

種別 図書
タイトルコード 1101214304
タイトル 数理論理学とタイプ理論 
タイトルカナ スウリ　ロンリガク　ト　タイプ　リロン
副書名 証明による真理へ
著者 Ｐｅｔｅｒ　Ｂ．　Ａｎｄｒｅｗｓ ／〔著〕, 小川原倫子 ／訳  
著者カナ アンドルーズ　ピーター・Ｂ．
出版地 東京
出版者 丸善
出版年 １９８７．１２
ページ数 ３１６ｐ
大きさ ２２ｃｍ
原タイトル Ａｎ　ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｍａｔｈｅｍａｔｉｃａｌ　ｌｏｇｉｃ　ａｎｄ　ｔｙｐｅ　ｔｈｅｏｒｙ：ｔｏ　ｔｒｕｔｈ　ｔｈｒｏｕｇｈ　ｐｒｏｏｆ．
一般件名 記号論理学
NDC分類(8版) 410.96
ISBN 4-621-03224-0 国立国会図書館 KGWAP5502 GoogleBooks WebcatPlus
定価 ５８００円
内容注記 参考文献：ｐ２９９～３０２

ページの先頭へ