“Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)” has been added to your cart. View cart
Showing 721–744 of 1458 results
- Wonnacott, Ronald J. And Thomas H.
- Dennis W. Stanton (Editor)
- W. Prenowitz; J. Jantosciak