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

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

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

Prices from

29.02

Featured

	£ 29.02	To Shop
	£ 29.02	To Shop

Description

Amazon Pages: 432, Paperback, OUP Oxford

Compare webshops (2)

Shop

Price

£ 29.02

To Shop

£ 29.02

To Shop

Description (1)

Pages: 432, Paperback, OUP Oxford

Brand	Oxford University Press
EAN	9780192895943

Prices were last updated on: 11-06-2026, 14:58

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)

£ 41.79

More Information More Info

CRC Press

Graph Theory: An Introduction to Proofs, Algorithms, and Applications (Textbooks in Mathematics)

£ 51.97

Compare 2 stores 2 stores

Academic Press

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

£ 34.50

Compare 2 stores 2 stores

Featured Choice

£ 29.02

To Shop

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

Description

Product specifications