Proof Theory
Proof Theory
- Berlin, Heidelberg Springer Berlin Heidelberg 2009.
Mathematics and Statistics (Springer-11649)
9783540693192, 978-3-540-69319-2
Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Mathematics
Mathematics
511.3, / 23
Mathematics and Statistics (Springer-11649)
9783540693192, 978-3-540-69319-2
Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Mathematics
Mathematics
511.3, / 23