図書

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

図書を表すアイコン

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

国立国会図書館請求記号
MA41-E4
国立国会図書館書誌ID
000001896266
資料種別
図書
著者
Peter B.Andrews 著ほか
出版者
丸善
出版年
1987.12
資料形態
ページ数・大きさ等
316p ; 22cm
NDC
410.96
すべて見る

資料に関する注記

一般注記:

原タイトル: An introduction to mathematical logic and type theory

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

関東

  • 農林水産関係試験研究機関総合目録

    検索サービス
    連携先のサイトで、農林水産関係試験研究機関総合目録が連携している機関・データベースの所蔵状況を確認できます。
  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
4-621-03224-0
タイトルよみ
スウリ ロンリガク ト タイプ リロン
著者・編者
Peter B.Andrews 著
小川原倫子 訳
出版事項
出版年月日等
1987.12
出版年(W3CDTF)
1987
数量
316p