| The Logic of Number |
Neil Tennant |
Will Stafford |
Notre Dame Philosophical Reviews |
2023-03-22 |
| Knowledge and the Philosophy of Number: What Numbers Are and How They Are Known |
Keith Hossack |
Richard Lawrence |
History and Philosophy of Logic |
2022-11-01 |
| Frege on Absolute and Relative Truth. An Introduction to the Practice of Interpreting Philosophical Texts, History of Analytic Philosophy (no vol. number) |
Ulrich Pardey |
Bernd Buldt |
The Bulletin of Symbolic Logic |
2014-09-00 |
| Classification theory and the number of non-isomorphic models |
S. Shelah |
Bradd Hart |
The Journal of Symbolic Logic |
1993 |
| Classification theory and the number of non-isomorphic models |
S Shelah |
Steven Buechler |
Notre Dame Journal of Formal Logic |
1992-12-01 |
| Classification theory and the number of nonisomorphic models |
S. Shelah |
Victor Harnik |
The Journal of Symbolic Logic |
1982 |
| Tableau systems for first order number theory and certain higher order theories |
Sue Toledo |
J. I. Zucker |
The Journal of Symbolic Logic |
1980 |
| Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
J. van Heijenoort |
The Journal of Symbolic Logic |
1975 |
| The number systems. Foundations of algebra and analysis |
Solomon Feferman |
William E. Gould |
The Journal of Symbolic Logic |
1973 |
| Number |
David Bostock |
William Craig |
The Journal of Symbolic Logic |
1970 |
| On non-standard models for number theory |
Elliott Mendelson |
Steven Orey |
The Journal of Symbolic Logic |
1967 |
| Between number theory and set theory |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Partial systems of number theory |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1964 |
| Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus |
R. L. Goodstein |
Th. Skolem |
The Journal of Symbolic Logic |
1958 |
| A logico-mathematical enquiry into the concept of number. German with English translation by J. L. Austin |
Gottlob Frege, The foundations of arithmetic |
Max Black |
The Journal of Symbolic Logic |
1951 |
| The ordered pair in number theory |
W. V. Quine |
J. Barkley Rosser |
The Journal of Symbolic Logic |
1951 |
| Het natuurlijke getal (The natural number) |
Alfons Borgers |
E. W. Beth |
The Journal of Symbolic Logic |
1950 |
| Reduction of the decision problem to formulae containing a bounded number of quantifiers only |
János Surányi |
Andrzej Mostowski |
The Journal of Symbolic Logic |
1949-06-23 |
