香川県立図書館
図書館ホーム
標準蔵書検索
詳細蔵書検索
資料紹介
図書館カレンダー
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
1 件中、 1 件目
数理論理学とタイプ理論
Peter B. Andrews/〔著〕 -- 丸善 -- 1987.12 -- 410.96
新着図書お知らせメール
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
書庫
4109/A2/
1102841432
一般
貸出可
在庫
ページの先頭へ
資料詳細
種別
図書
タイトルコード
1101214304
タイトル
数理論理学とタイプ理論
タイトルカナ
スウリ ロンリガク ト タイプ リロン
副書名
証明による真理へ
著者
Peter B. Andrews
/〔著〕,
小川原倫子
/訳
著者カナ
アンドルーズ ピーター・B.
出版地
東京
出版者
丸善
出版年
1987.12
ページ数
316p
大きさ
22cm
原タイトル
An introduction to mathematical logic and type theory:to truth through proof.
一般件名
記号論理学
NDC分類(8版)
410.96
ISBN
4-621-03224-0
定価
5800円
内容注記
参考文献:p299~302
ページの先頭へ