JavaScript を有効にしてご利用下さい.
文字サイズ
古書を探す
アダルト商品の検索を行う場合、18歳未満の方のご利用は固くお断りします。 あなたは18歳以上ですか?
数理論理学とタイプ理論 : 証明による真理へ
An introduction to mathematical logic and type theory
Peter B.Andrews 著 ; 小川原倫子 訳、丸善、1987.12
316p 22cm
4621032240