Home › Computers & Technology › Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)

1 1

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

Name: Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Brand: Cambridge University Press
SKU: ByrdShop_0521371813
Price: 1370.09 USD
Availability: InStock

hardcover – April 28, 1989

by Girard, Jean-Yves

$1,370.09 USD

Sale Sold out

Shipping calculated at checkout.

Quantity

Secure Checkout

Quality Guaranteed

New In Stock

ISBN-13: 9780521371810 ISBN-10: 0521371813

Publisher

Cambridge University Press

Binding

hardcover

Published

April 28, 1989

Weight

1.1 lbs

Dimensions

25.40×1.30×18.40 cm

About this book

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) by Girard, Jean-Yves. hardcover edition. ISBN: 9780521371810.

Translated (from French) and developed from notes prepared for a course at the University of Paris VII. Deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between propositions and types). Treats both the traditional logic material, and its prospective application to computer science. Annotation copyright Book News, Inc. Portland, Or.