Applied Proof Theory: Proof Interpretations and their Use in Mathematics More Books Like This

Sets And Computations Sets And Computations
Sets And Computations
2017
Developments in Nonstandard Mathematics Developments in Nonstandard Mathematics
Developments in Nonstandard Mathematics
2020
Current Research in Nonlinear Analysis Current Research in Nonlinear Analysis
Current Research in Nonlinear Analysis
2018
Advances in Mathematical Logic Advances in Mathematical Logic
Advances in Mathematical Logic
2022
Number Theory, Analysis and Geometry Number Theory, Analysis and Geometry
Number Theory, Analysis and Geometry
2011
Recent Advances in Operator Theory, Operator Algebras, and their Applications Recent Advances in Operator Theory, Operator Algebras, and their Applications
Recent Advances in Operator Theory, Operator Algebras, and their Applications
2006
New Directions in Function Theory: From Complex to Hypercomplex to Non-Commutative New Directions in Function Theory: From Complex to Hypercomplex to Non-Commutative
New Directions in Function Theory: From Complex to Hypercomplex to Non-Commutative
2022
Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
Complexity, Logic, and Recursion Theory
2019
Logic and Algebra Logic and Algebra
Logic and Algebra
2017
Recent Advances in Operator Theory and Its Applications Recent Advances in Operator Theory and Its Applications
Recent Advances in Operator Theory and Its Applications
2006
Set Theory Set Theory
Set Theory
2006
The Functional Calculus for Sectorial Operators The Functional Calculus for Sectorial Operators
The Functional Calculus for Sectorial Operators
2006
Modern Trends in Pseudo-Differential Operators Modern Trends in Pseudo-Differential Operators
Modern Trends in Pseudo-Differential Operators
2007
Around the Research of Vladimir Maz'ya III Around the Research of Vladimir Maz'ya III
Around the Research of Vladimir Maz'ya III
2009
Topics in Operator Theory Topics in Operator Theory
Topics in Operator Theory
2011