Skip to main content
Swap Used Books - Buy New Books at Great Prices!
How To Swap Books
Sign Up
Search 
Kiosk
PBS Market (New Books)
Book Browser
Advanced Search
Books Posted Today
Member Book Reviews
Award Winning Books
NYT Best Sellers
Amazon Best Sellers
Most Traveled Copies
Club Wish List
Login
Community
Discussion Forums
Book Lists
Blog
Donations
Box-O-Books
Maps
The Eclectic Pen
Fun Stuff
Top 100
Pulse of PBS
Spread The Word
Photo Gallery
Recipes
Club Tag Cloud
Member Testimonials
Help Center
Kiosk
PBS Market (New Books)
Go Shopping
Buy Credits
Buy PBS Money
Upgrade Membership
Gift Certificates
Transfer Credits
Search -
Computation and Deduction
Computation and Deduction
Author:
Computation and Deduction is an advanced undergraduate or introductory graduate textbook on the theory of programming languages, covering functional programming, abstract machines, natural deduction, logic programming, and various aspects of type theory. It is unique in that the definitions and proofs in the book have been implemented in a logi... more »
Author:
Computation and Deduction is an advanced undergraduate or introductory graduate textbook on the theory of programming languages, covering functional programming, abstract machines, natural deduction, logic programming, and various aspects of type theory. It is unique in that the definitions and proofs in the book have been implemented in a logi... more »
ISBN-13: 9780521772655
ISBN-10: 0521772656
Publication Date: 12/30/2012
Pages: 350
Edition: 1
Rating: ?
ISBN-10: 0521772656
Publication Date: 12/30/2012
Pages: 350
Edition: 1
Rating: ?
0 stars, based on 0 rating
Publisher: Cambridge Univ Pr (Sd)
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review
Genres:
