An Introduction to Proof Theory : Normalization, Cut-Elimination | DealShopping UK
  1. Home
  2. 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

Share:

Related products

Set Theory An Introduction To Independence Proofs: 102

Set Theory An Introduction To Independence Proofs: 102

49.99 GBP
Proof Theory and Logic Programming : Computation as Proof Search

Proof Theory and Logic Programming : Computation as Proof Search

60.00 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