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: 09780192895943
Brand: Oxford University Press
Best Priced
sold by Hive Books
Hive Books
£28.49
Visit Store
Hive Books
Hive Books
£28.49
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 Oxford University Press

Oxford Primary Atlas
Oxford Primary Atlas
from £9.35
Oxford First Learner's French Dictionary
Oxford First Learner's French Dictionary
from £7.45
Oxford Children's Thesaurus
Oxford Children's Thesaurus
from £9.34
Oxford School French Dictionary
Oxford School French Dictionary
from £6.22
Read With Oxford: Stage 2: Julia Donaldson's Songbirds: Singing Dad And Other Stories
Read With Oxford: Stage 2: Julia Donaldson's Songbirds: Singing Dad And Other Stories
from £9.75
Kitty And The Great Lantern Race
Kitty And The Great Lantern Race
from £4.61
Read Write Inc. Phonics: Purple Set 2 Core Black & White Storybooks (Mixed Pack Of 10)
Read Write Inc. Phonics: Purple Set 2 Core Black & White Storybooks (Mixed Pack Of 10)
from £14.00
Read With Oxford: Stage 4: Biff, Chip And Kipper: The Time Capsule And Other Stories
Read With Oxford: Stage 4: Biff, Chip And Kipper: The Time Capsule And Other Stories
from £9.75
Read With Oxford: Stages 5-6: My Winnie And Wilbur Reading And Activity Kit
Read With Oxford: Stages 5-6: My Winnie And Wilbur Reading And Activity Kit
from £11.85
Oxford Student's Mathematics Dictionary
Oxford Student's Mathematics Dictionary
from £9.99
Project X: Alien Adventures: Lime: Space Hunt
Project X: Alien Adventures: Lime: Space Hunt
from £8.45
Get It Right: For GCSE: Spelling, Punctuation And Grammar Workbook
Get It Right: For GCSE: Spelling, Punctuation And Grammar Workbook
from £8.99
Oxford School Shakespeare: Twelfth Night
Oxford School Shakespeare: Twelfth Night
from £7.35
Nelson Comprehension: Year 1/Primary 2: Pupil Book 1
Nelson Comprehension: Year 1/Primary 2: Pupil Book 1
from £11.10
Cyril The Lonely Cloud
Cyril The Lonely Cloud
from £7.59
Kitty And The Sky Garden Adventure
Kitty And The Sky Garden Adventure
from £6.55
I'm The Fire Engine Driver
I'm The Fire Engine Driver
from £6.37
Project X: Alien Adventures: Lilac:Max's Box
Project X: Alien Adventures: Lilac:Max's Box
from £3.54
Progress With Oxford: Addition And Subtraction Age 6-7
Progress With Oxford: Addition And Subtraction Age 6-7
from £3.99
Isadora Moon Goes On Holiday
Isadora Moon Goes On Holiday
from £6.55

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 £15.63
Set Theory An Introduction To Independence Proofs
Set Theory An Introduction To Independence Proofs
from £41.79
An Introduction to Proofs with Set Theory
An Introduction to Proofs with Set Theory
from £46.74
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