There's still time! Find the perfect Father's Day gift with store pickup | Shop NowThere's still time! Find the perfect Father's Day gift with store pickup | Shop Now
Add Item to wish listAdd Item to wish list

Proof Theory and Logic Programming: Computation as Proof Search

By Dale Miller
Hardcover
$80.00
By Dale Miller
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

Categories

Computer ProgrammingProgramming LanguagesOther Programming LanguagesProgramming languages (Computers)