Proofs and Types (Cambridge Tracts in Theoretical Computer Science 7)

Proofs and Types (Cambridge Tracts in Theoretical Computer Science 7)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版／ページ数 200 p.
  • 言語 ENG
  • 商品コード 9780521371810
  • DDC分類 005

基本説明

This book has been developed from notes prepared by J-Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer sciece of aspects of logic.