Frege's double correlation thesis and quine's set theories NF and ML

Completeness in the theory of types

Leon Henkin · Journal of Symbolic Logic · 1950 · 842 citations

Humanities, Computer Science, Mathematics +12

Translations from the Philosophical Writings of Gottlob Frege.

William Marshall, Max Black, P. T. Geach · The Philosophical Review · 1954 · 812 citations

Humanities, Philosophy, Hermeneutics +3

The Iterative Conception of Set

George Boolos · The Journal of Philosophy · 1971 · 570 citations

Natural Sciences, Mathematics, Discrete Mathematics +10

New Foundations for Mathematical Logic

W. V. Quine · American Mathematical Monthly · 1937 · 358 citations

Humanities, Mathematics, Logic +6

From Mathematics to Philosophy

Gerard Smith, Hao Wang · Leonardo · 1975 · 310 citations

Humanities, Mathematics, Philosophy +12