資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 数理論理学とタイプ理論 証明による真理へ

Peter B.Andrews／著 -- 丸善 -- 1987.12 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /4101/70/87 1120611500 Digital BookShelf
1988/01/19 可能（館内閲覧） 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-621-03224-0
タイトル 数理論理学とタイプ理論
タイトルカナ スウリ ロンリ ガク ト タイプ リロン
タイトル関連情報 証明による真理へ
タイトル関連情報読み ショウメイ ニ ヨル シンリ エ
著者名 Peter B.Andrews ／著, 小川原倫子 ／訳
著者名典拠番号

120000007120000

出版地 東京
出版者 丸善
出版者カナ マルゼン
出版年 1987.12
ページ数 316p
大きさ 22cm
都立翻訳原書名注記 An introduction to mathematical logic and type theory.の翻訳
分類：都立NDC10版 410
資料情報1 『数理論理学とタイプ理論 証明による真理へ』　Peter B.Andrews／著, 小川原倫子／訳 　丸善　1987.12（所蔵館：中央　 請求記号：/4101/70/87　 資料コード：1120611500）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1100534000

ページの先頭へ