We use cookies to enhance your experience on our website. By continuing to use our website, you are agreeing to our use of cookies. You can change your cookie settings at any time. Find out more

Logic

Featured Titles

Disciplines

Price

Publication Date

List | Grid
Cover for 9780192895943

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

£25.00

Paolo Mancosu, Sergio Galvan, Richard Zach

9780192895943
Paperback
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.

Cover for 9780199890491

Introduction to Logic

£42.99

Paul Herrick

9780199890491
Paperback
May 2012

List | Grid
Share: