- Notes on the First Chapter of The Continuum: Intension, Extension, and Arithmetism.Julien Bernard - 2009 - Philosophia Scientiae 13 (1):155-176.details
|
|
The Logic of Infinity.Henri Poincaré - 1963 - In Mathematics and Science: Last Essays. Dover Publications. pp. 45--64.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
Notes on the First Chapter of The Continuum: Intension, Extension, and Arithmetism.Julien Bernard - 2009 - Philosophia Scientiae 13:155-176.details
|
|
Foundations of Analysis.Edmund Landau & F. Steinhardt - 1952 - British Journal for the Philosophy of Science 2 (8):342-343.details
|
|
Philosophy of Mathematics in the Twentieth Century: Selected Essays.Charles Parsons - 2013 - Cambridge, Massachusetts: Harvard University Press.details
|
|
A derivation of number theory from ancestral theory.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):192-197.details
|
|
A New Approach to Predicative Set Theory.Arnon Avron - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 31-64.details
|
|
A homogeneous system for formal logic.R. M. Martin - 1943 - Journal of Symbolic Logic 8 (1):1-23.details
|
|
Predicativity.Solomon Feferman - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press.details
|
|
The middle ground-ancestral logic.Liron Cohen & Arnon Avron - 2019 - Synthese 196 (7):2671-2693.details
|
|
Classical predicative logic-enriched type theories.Robin Adams & Zhaohui Luo - 2010 - Annals of Pure and Applied Logic 161 (11):1315-1345.details
|
|
Les Mathématiques et la logique, II, III.H. Poincaré - 1906 - Revue De Métaphysique Et Morale 14:17-34, 294-317.details
|
|