Proof Theory and Logic Programming : Computation as Proof Search | DealShopping UK
  1. Home
  2. Proof Theory and Logic Programming : Computation as Proof Search
  • #

Proof Theory and Logic Programming : Computation as Proof Search

60.00 GBP

Share:
Sponsored

Proof Theory and Logic Programming : Computation as Proof Search

WHSmith
60.00 GBP
18-07-2026 19:09:40

Related products

Set Theory An Introduction To Independence Proofs: 102

Set Theory An Introduction To Independence Proofs: 102

49.99 GBP
An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs

32.99 GBP
Set Theory An Introduction To Independence Proofs: 102

Set Theory An Introduction To Independence Proofs: 102

62.29 USD
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27

26.70 USD
Proofs and Theories, by Louise Glueck

Proofs and Theories, by Louise Glueck

19.99 USD
Proofs & Theories: Essays on Poetry

Proofs & Theories: Essays on Poetry

7.12 GBP