« 前にもどる

近くの図書館から探してみよう

カーリルは全国の図書館から本を検索できるサービスです

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

もっともっと探す

+もっと

詳しい情報

出版社: 丸善

ISBN-10: 4621032240  ISBN-13: 9784621032244