The grammar of constraints

[1]  E. R. Hedrick,et al.  Elementary Mathematics from an Advanced Standpoint. Arithmetic. Algebra. Analysis , 1933 .

[2]  Charles Parsons,et al.  X—Mathematical Intuition , 1980 .

[3]  George Boolos,et al.  IX—Saving Frege from Contradiction , 1987 .

[4]  P. Simons,et al.  Reviews-The Applicability of Mathematics as a Philosophical Problem , 1998 .

[5]  R. Goodstein,et al.  Remarks on the Foundations of Mathematics , 1957, The Mathematical Gazette.

[6]  George Peacock.  Report on the recent progress and present state of certain branches of analysis , 1833 .

[7]  Charles D. Parsons,et al.  Platonism and Mathematical Intuition in Kurt Gödel's Thought , 1995, Bulletin of Symbolic Logic.

[8]  L. Wittgenstein.  Tractatus Logico-Philosophicus , 2021, Nordic Wittgenstein Review.

[9]  Saul A. Kripke,et al.  Outline of a Theory of Truth , 1975 .

[10]  J. Neumann,et al.  The Logic of Quantum Mechanics , 1936 .

[11]  I. Lakatos.  PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.

[12]  Paul Bachmann.  Zur Theorie der complexen Zahlen. , 1867 .

[13]  Saul A. Kripke,et al.  Wittgenstein on Rules and Private Language. , 1985 .

[14]  Hilary Putnam,et al.  RETHINKING MATHEMATICAL NECESSITY , 2002 .

[15]  W. Quine.  The ways of paradox, and other essays , 1966 .

[16]  M. Kline.  Mathematical Thought from Ancient to Modern Times , 1972 .

[17]  Paul Benacerraf,et al.  Philosophy of mathematics: What numbers could not be , 1965 .

[18]  E. J. Lemmon.  QUANTIFIER RULES AND NATURAL DEDUCTION , 1961 .

[19]  J. Hintikka.  III. Kantian intuitions , 1972 .

[20]  Haragauri N. Gupta.  IX.—ON THE RULE OF EXISTENTIAL SPECIFICATION IN SYSTEMS OF NATURAL DEDUCTION , 1968 .

[21]  B. V. Fraassen.  Singular Terms, Truth-Value Gaps, and Free Logic , 1966 .

[22]  M. Dummett.  Frege: Philosophy of Language , 1973 .

[23]  Mark A. Wilson.  Frege: The Royal Road from Geometry , 1992 .

[24]  L. Ahlfors.  Complex Analysis , 1979 .

[25]  Penelope Maddy,et al.  Realism in mathematics , 1991 .

[26]  I. Lakatos,et al.  Proofs and Refutations: Frontmatter , 1976 .

[27]  Kit Fine,et al.  Reasoning with arbitrary objects , 1988 .

[28]  W. Rudin.  Real and complex analysis , 1968 .