工学部OPAC

ようこそ  ゲスト さん

<図書>

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

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

データ種別 図書
出版者 東京 : 丸善
出版年 1987
本文言語 日本語
大きさ 316p ; 22cm

所蔵情報を非表示

配架場所 巻 次 請求記号 資料番号 状 態 資料区分 コメント ISBN 刷 年 利用注記
3F 書庫A
410.12||A48O J88044837 一般図書(日本語) - 図書
4621032240 1987.12
3F 書庫A
410.12||A48O||イ J88044840 一般図書(日本語) - 図書
4621032240 1987.12

書誌詳細を非表示

別書名 原タイトル:An Introduction to mathematical logic and type theory : to truth throught proof
一般注記 文献:p299~302
著者標目 Andrews, P. B. (Peter Bruce), 1937-
小川原, 倫子 <オガワラ, シナコ>
件 名 BSH:記号論理学
分 類 NDC8:410.96
NDC7:410.12
書誌ID 1000022131
ISBN 4621032240
NCID BN01734763 WCLINK
巻冊次 ISBN:4621032240 ; PRICE:5800円

検索結果一覧に戻る ページトップ