Proof Theory and Logic Programming: Computation as Proof Search

Proof Theory and Logic Programming: Computation as Proof Search - Hardcover

$122.40
$122.40
Skip to product information
Proof Theory and Logic Programming: Computation as Proof Search
  • Proof Theory and Logic Programming: Computation as Proof Search
Proof Theory and Logic Programming: Computation as Proof Search - Hardcover

Proof Theory and Logic Programming: Computation as Proof Search - Hardcover

$122.40
$122.40

by Dale Miller (Author)

Number of Pages: 334
Dimensions: 0.75 x 9 x 6 IN
Publication Date: December 18, 2025

You may also like