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

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

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

Barcode: 09780192649294
Brand: OUP Oxford
Best Priced
sold by Hive Books
Hive Books
£15.63
Visit Store
Hive Books
Hive Books
£15.63
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From OUP Oxford

Playing By The Rules A Philosophical Examination Of Rule-Based Decisi
Playing By The Rules A Philosophical Examination Of Rule-Based Decisi
from £53.36
Cambridge International AS & A Level Physics: Exam Success Guide
Cambridge International AS & A Level Physics: Exam Success Guide
from £15.29
Cambridge IGCSEA(R) Complete Mathematics Extended: Student Book Sixth Edition
Cambridge IGCSEA(R) Complete Mathematics Extended: Student Book Sixth Edition
from £30.59
AQA GCSE Religious Studies A (9-1): Christianity & Sikhism Revision Guide
AQA GCSE Religious Studies A (9-1): Christianity & Sikhism Revision Guide
from £8.19
Cambridge Lower Secondary Complete Physics: Student Book (Second Edition)
Cambridge Lower Secondary Complete Physics: Student Book (Second Edition)
from £19.79
KS3 History Depth Study: African Kingdoms eBook
KS3 History Depth Study: African Kingdoms eBook
from £10.79
Oxford AQA GCSE History (9-1): Norman England c1066-c1100 eBook Second Edition
Oxford AQA GCSE History (9-1): Norman England c1066-c1100 eBook Second Edition
from £13.47
GCSE 9-1 Geography AQA: Fieldwork eBook Second Edition
GCSE 9-1 Geography AQA: Fieldwork eBook Second Edition
from £6.74
Rat
Rat
from £6.48
Oxford International Primary Computing: Student Book 4: Oxford International Primary Computing: Student Book 4 : Second Edition
Oxford International Primary Computing: Student Book 4: Oxford International Primary Computing: Student Book 4 : Second Edition
from £16.19
Understanding Pure Mathematics
Understanding Pure Mathematics
from £41.41
AQA A Level Further Maths: Year 1 / AS Level
AQA A Level Further Maths: Year 1 / AS Level
from £26.55
KS3 History Depth Study: Migration Nation eBook Second Edition
KS3 History Depth Study: Migration Nation eBook Second Edition
from £10.79
Cambridge IGCSEA(R) Complete Mathematics Core: Student Book Sixth Edition
Cambridge IGCSEA(R) Complete Mathematics Core: Student Book Sixth Edition
from £29.69
GCSE 9-1 Geography AQA: Exam Practice: Grades 7-9 eBook Second Edition
GCSE 9-1 Geography AQA: Exam Practice: Grades 7-9 eBook Second Edition
from £6.74
Edgar & Adolf
Edgar & Adolf
from £6.48
Cambridge Lower Secondary Complete English 9: Student Book (Second Edition)
Cambridge Lower Secondary Complete English 9: Student Book (Second Edition)
from £17.09
Oxford International Primary Computing: Student Book 5: Oxford International Primary Computing: Student Book 5 : Second Edition
Oxford International Primary Computing: Student Book 5: Oxford International Primary Computing: Student Book 5 : Second Edition
from £17.09
Cambridge Lower Secondary Complete Biology: Student Book (Second Edition)
Cambridge Lower Secondary Complete Biology: Student Book (Second Edition)
from £19.79
Oxford AQA GCSE History (9-1): British Depth Studies c1066-1685 eBook Second Edition
Oxford AQA GCSE History (9-1): British Depth Studies c1066-1685 eBook Second Edition
from £16.37

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
from £28.49
An Introduction to Proofs with Set Theory
An Introduction to Proofs with Set Theory
from £46.74
Set Theory An Introduction To Independence Proofs
Set Theory An Introduction To Independence Proofs
from £41.79
Graph Theory : An Introduction to Proofs, Algorithms, and Applications
Graph Theory : An Introduction to Proofs, Algorithms, and Applications
from £41.39
Graph Theory : An Introduction to Proofs, Algorithms, and Applications
Graph Theory : An Introduction to Proofs, Algorithms, and Applications
from £41.39
Set Theory An Introduction To Independence Proofs : Volume 102
Set Theory An Introduction To Independence Proofs : Volume 102
from £43.49
Introduction to Proofs and Proof Strategies
Introduction to Proofs and Proof Strategies
from £34.15
Introduction to Proofs and Proof Strategies
Introduction to Proofs and Proof Strategies
from £29.74
An Introduction to Mathematical Proofs
An Introduction to Mathematical Proofs
from £39.59
An Introduction to Mathematical Proofs
An Introduction to Mathematical Proofs
from £39.59
The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs
The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs
from £42.39
The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs
The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs
from £25.64
Proofs and Algorithms : An Introduction to Logic and Computability
Proofs and Algorithms : An Introduction to Logic and Computability
from £22.94
Journey into Mathematics : An Introduction to Proofs
Journey into Mathematics : An Introduction to Proofs
from £11.96
Proofs 101 : An Introduction to Formal Mathematics
Proofs 101 : An Introduction to Formal Mathematics
from £44.99
Proofs 101 : An Introduction to Formal Mathematics
Proofs 101 : An Introduction to Formal Mathematics
from £44.99
Proof Theory : An Introduction
Proof Theory : An Introduction
from £55.24
Type Theory and Formal Proof : An Introduction
Type Theory and Formal Proof : An Introduction
from £66.99
Type Theory and Formal Proof : An Introduction
Type Theory and Formal Proof : An Introduction
from £56.94
Type Theory and Formal Proof : An Introduction
Type Theory and Formal Proof : An Introduction
from £56.94