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

Prices from
27.77

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 27.77

£ 27.77

Description (0)

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

Product specifications

Brand OUP Oxford
EAN
  • 9780192895943

OUP Oxford

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

£ 14.94
More Information More Info

North-Holland

Set Theory An Introduction To Independence Proofs

£ 43.49
Compare 2 stores 2 stores

North-Holland

Set Theory An Introduction To Independence Proofs (ISSN Book 102)

£ 28.59
More Information More Info

Academic Press

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs

£ 34.50
Compare 2 stores 2 stores
Featured Choice
£ 27.77
To Shop