この本をレビュー

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
  • 会員登録・ログインした上でレビューを投稿することをおすすめします
  • プロフィールページから過去のレビューを確認することができ、他にも様々な便利な機能を利用できます
  • 会員登録・ログイン後はこのページに戻ります

総合評価

search