Extending the frontiers of mathematics: Inquiries into proof
Burger, Edward B
Extending the frontiers of mathematics: Inquiries into proof - New York Springer-Verlag 2007 - xvi; 171p;pbk
Logic, Symbolic and mathematical
Mathematical analysis-Foundations
Proof theory
Mathematics
511.3/BUR
Extending the frontiers of mathematics: Inquiries into proof - New York Springer-Verlag 2007 - xvi; 171p;pbk
Logic, Symbolic and mathematical
Mathematical analysis-Foundations
Proof theory
Mathematics
511.3/BUR