検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • 現在、予約しているのは 0 件です。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0 発注数 0

書誌情報

書名

数理論理学とタイプ理論　　証明による真理へ　　

著者名 Peter B.Andrews／[著]
著者名ヨミ Peter B Andrews
出版者 丸善
出版年月 1987.12

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 帯出区分 状態 貸出
1 中央般110625639410.96/ｱ/8書庫貸出可在庫  ○

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000000888608
書誌種別 図書
著者名 Peter B.Andrews／[著]
著者名ヨミ Peter B Andrews
著者名 小川原 倫子／訳
著者名ヨミ オガワラ シナコ
出版者 丸善
出版年月 1987.12
ページ数 316p
大きさ 22cm
ISBN 4-621-03224-0
分類記号 410.96
書名 数理論理学とタイプ理論　　証明による真理へ　　
書名ヨミ スウリ ロンリガク ト タイプ リロン
副書名 証明による真理へ
副書名ヨミ ショウメイ ニ ヨル シンリ エ
件名1 記号論理学
原タイトル 原タイトル:An introduction to mathematical logic and type theory



内容細目

前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。