An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
$170.99Hardcover
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9780192895936
1
Details
- Format
- Hardcover
- ISBN-13
- 9780192895936
- Publisher
- Oxford University Press
- Published
- October 12, 2021
- Pages
- 432
- Weight
- 28 oz
- Subject
- Philosophy
More by Paolo Mancosu
All booksThe Wilderness of the Infinite: Robert Grosseteste, William of Auvergne, and Mathematical Infinity in the Thirteenth Century
The Wilderness of the Infinite: Robert Grosseteste, William of Auvergne, and Mathematical Infinity in the Thirteenth Century
Paolo Mancosu
$129.99
Syllogistic Logic and Mathematical Proof
Syllogistic Logic and Mathematical Proof
Paolo Mancosu
$110.99
Infinito, lógica, geometría
Infinito, lógica, geometría
Paolo Mancosu
$24.99
Filosofia Lógica e Matemática: Conferências no Brasil
Filosofia Lógica e Matemática: Conferências no Brasil
Paolo Mancosu
$22.99
Abstraction and Infinity
Abstraction and Infinity
Paolo Mancosu
$51.99
The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
Paolo Mancosu
$123.99
Popular in Philosophy
Browse Philosophy
Signs from the Future
Slavoj Zizek
$11.99
The Liberalism of Fear
Judith Nisse Shklar
$12.99
The Philosophy Book
Dk
$17.99
The Republic of Plato
Allan Bloom
$28.99
The Structure of Scientific Revolutions
Thomas S. Kuhn
$14.99
Everything You Need to Know: How Philosophy Can Set You Free
Matthew Stewart
$25.99
Doing Good Better: How Effective Altruism Can Help You Help Others, Do Work That Matters, and Make Smarter Choices about Giving Back
William Macaskill
$15.99
The Art of War: A Step-by-Step Translation
Sun Tzu
$6.99
The Tao of Pooh
Benjamin Hoff
$20.99
An Injury to All: The Unmaking of the British Working Class
Ewan Gibbs
$27.99
Why Is There Something Rather Than Nothing?: A History of Philosophy in 23 Questions
Leszek Kolakowski
$14.99
Freedom: A Disease Without Cure
Slavoj Zizek
$11.99