文字サイズ

  • 小
  • 中
  • 大

古書を探す

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

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

書籍データ

An introduction to mathematical logic and type theory

著者名：Peter B.Andrews 著 ; 小川原倫子 訳他の作品を見る

出版社：丸善

発売日：1987.12

316p 22cm

ISBN：4621032240

リクエストを送る

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

円谷一
円谷一
￥4,000

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

はたち前
はたち前
 ￥55,000