Logic

Showing 1-2 of 2

List | Grid

Sort by

Results per page

Show page

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

£25.00

Paolo Mancosu, Sergio Galvan, Richard Zach

9780192895943
Paperback
17 August 2021

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

Introduction to Logic

£42.99

Paul Herrick

9780199890491
Paperback
17 May 2012

List | Grid

Sort by

Results per page

Show page

Share:

Customer Service Dept

Oxford University Press is a department of the University of Oxford. It furthers the University's objective of excellence in research, scholarship, and education by publishing worldwide.

You appear to be visiting this website from the United States, a country which it does not serve.

You can find information about Oxford University Press products and services tailored to your region at global.oup.com/ushe.

If you would like to continue, click Close Close but please note that textbooks and other products described on this site may not be available in your region.

Logic

Disciplines

Price

Publication Date

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

Introduction to Logic