このページのリンク

利用統計

  • このページへのアクセス:27回

  • 貸出数:9回
    (1年以内の貸出数:2回)

<図書>
数理論理学とタイプ理論 : 証明による真理へ
スウリ ロンリガク ト タイプ リロン : ショウメイ ニ ヨル シンリ エ

責任表示 Peter B. Andrews [著] ; 小川原倫子訳
データ種別 図書
出版者 東京 : 丸善
出版年 1987.12
本文言語 日本語
大きさ xv, 316p ; 22cm

所蔵情報


中央図 3E 068581190017383 410.11/A 48/1 1987

理系図1F 開架 068251187014126 410.96/A 48 1988

理系図1F 開架 068251189005385 410.96/A 48 1987

理系図 自動書庫 068251189001920 電気通信/普及財団/寄贈図書 1987

工化学工学 研究室7 068251191011520 55/A 1987 410.96

書誌詳細

別書名 原タイトル:An Introduction to mathematical logic and type theory : to truth through proof
一般注記 参考文献: p[299]-302
著者標目 Andrews, P. B. (Peter Bruce), 1937-
小川原, 倫子 <オガワラ, シナコ>
件 名 BSH:記号論理学
分 類 NDC8:410.96
NDC7:410.12
NDLC:MA41
書誌ID 1000298206
ISBN 4621032240
NCID BN01734763
巻冊次 ISBN:4621032240 ; PRICE:5800円
登録日 2009.09.11
更新日 2009.09.18

類似資料

この資料を見た人はこんな資料も見ています

この資料を借りた人はこんな資料も借りています