| Reverse Mathematics: Problems, Reductions, and Proofs |
D. D. Dzhafarov |
Chris J. Conidis |
The Bulletin of Symbolic Logic |
2023-12-00 |
| Reverse Mathematics: Proofs from the Inside Out |
J Stillwell |
Benedict Eastaugh |
Philosophia Mathematica |
2020-02-01 |
| Reverse Mathematics: Proofs from the Inside Out |
J. Stillwell |
Jeffry L. Hirst |
The Bulletin of Symbolic Logic |
2018-06-01 |
| Reverse Mathematics: Proofs from the Inside Out |
J. Stillwell |
Jeffry L. Hirst |
The Bulletin of Symbolic Logic |
2018-06-00 |
| Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles |
Denis R Hirschfeldt |
Benedict Eastaugh |
Studia Logica |
2017-08-01 |
| Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28 |
Denis R. Hirschfeldt |
Jeffry L. Hirst |
The Bulletin of Symbolic Logic |
2015-09-00 |
| Reverse Mathematics |
Stephen G Simpson |
Ulrich Berger |
The Bulletin of Symbolic Logic |
2007-03-01 |
