文字サイズ

  • 小
  • 中
  • 大

古書を探す

初めての方へ

「数理論理学とタイプ理論: 証明による真理へ」の検索結果

絞込み検索を表示
年から 年※単一年を探す場合 1995～1995

（例）初版　函　帯　など
￥ から￥
件

詳細検索についての注意事項

  • 複数条件での絞込検索が可能です。検索条件をスペースで区切って入力してください。
表示順
出版社
コンパクト表示 すべて表示
件
現在、お探しの書籍は登録されておりません。

書誌カタログの検索結果


「日本の古本屋」に参加している950店以上の古書店に、入荷依頼のリクエストを送ることができます。
数理論理学とタイプ理論 : 証明による真理へ

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

An introduction to mathematical logic and type theory

Peter B.Andrews 著 ; 小川原倫子 訳、丸善、1987.12

316p 22cm

4621032240

  • リクエストを送る

ウルトラＱ６０年 - 特撮、ＳＦドラマの魅力

成人式 - 大人への第一歩、新たなる人生

元服之次第
元服之次第
 ￥10,000