Skip to main content
PBS logo
 
 

Search - Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
Proofs and Types - Cambridge Tracts in Theoretical Computer Science
Author: Jean-Yves Girard, Yves Lafont, Paul Taylor
This book is derived 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 science of aspects of logic. It sheds light on traditional logic material and its prospective application to computer science.
ISBN-13: 9780521371810
ISBN-10: 0521371813
Publication Date: 4/28/1989
Pages: 192
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2025 PaperBackSwap.com. All Rights Reserved.