<図書>

スウリ ロンリガク ト タイプ リロン : ショウメイ ニ ヨル シンリ エ

数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
総合図・自動書庫
410.96:A48 0010383867

T20:2874
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
駒場図・4F開架
410.96:A48 3010008161


教養・広域広シ情報図形
3910970536


数理科学・保存一研
WF:Andrews 8001411589


書誌詳細を非表示

出版者 東京 : 丸善
出版年 1987.12
大きさ xv, 316p ; 22cm
別書名 原タイトル:An Introduction to mathematical logic and type theory : to truth throught proof
一般注記 参考文献: p[299]-302
著者標目 Andrews, P. B. (Peter Bruce), 1937-
小川原, 倫子 <オガワラ, シナコ>
件 名 BSH:記号論理学
分 類 NDC8:410.96
NDC7:410.12
NDLC:MA41
本文言語 日本語
書誌ID 2000087945
ISBN 4621032240
NCID BN01734763 WCLINK

ページトップ