Opening book details…
Can I read Proof Analysis : A Contribution to Hilbert's Last Problem on EtoBox?
Proof Analysis : A Contribution to Hilbert's Last Problem by Sara Negri, Jan von Plato is a mathematics available to read on EtoBox.
What is Proof Analysis : A Contribution to Hilbert's Last Problem about?
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elem
Who reads Proof Analysis : A Contribution to Hilbert's Last Problem?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Sara Negri, Jan von Plato
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 2011
- Language
- EN
- ISBN
- 9781107222069
- Category
- mathematics
- Subjects
- Mathematics, Philosophy, Logic
- Updated
- 2026-03-25
More by Sara Negri, Jan von Plato
Browse all works by Sara Negri, Jan von Plato
Similar books
- Hilbert's Tenth Problem — I︠U︡riĭ V. Matii︠a︡sevich, Jurij V. Matijasevič, Ûrij Vladimirovič Matiâsevič, Yuri V. Matiyasevich, Yuri Vladimirovich Matiyasevich, Michael R Garey, Albert Meyer (1993)
- An Introduction to Proof through Real Analysis — Daniel J. Madden, Jason A. Aubrey, Wiley (2017)
- Exploring Mathematics: Problem-Solving and Proof — Daniel Grieser (2018)
- Computation, Proof, Machine : Mathematics Enters a New Age — Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) (2015)
- Analysis with an Introduction to Proof: International Edition — Lay, Steven R., 1944- (2014)
- Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability (Student Mathematical Library) (Student Mathematical Library, 88) — Maruti Ram Murty; Brandon Fodden (2019)
