- Introduction to a general theory of elementary propositions.Emil L. Post - 1921 - American Journal of Mathematics 43 (3):163--185.details
|
|
Post's functional completeness theorem.Francis Jeffry Pelletier & Norman M. Martin - 1990 - Notre Dame Journal of Formal Logic 31 (3):462-475.details
|
|
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.details
|
|
Principia mathematica, to *56.Alfred North Whitehead & Bertrand Russell - 1962 - New York: Cambridge University Press. Edited by Bertrand Russell & Alfred North Whitehead.details
|
|
Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.details
|
|
Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.details
|
|
The Known and Unknown H.M. Sheffer.Michael Scanlan - 2000 - Transactions of the Charles S. Peirce Society 36 (2):193 - 224.details
|
|
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.details
|
|
Combinatory logic.Katalin Bimbó - 2009 - Stanford Encyclopedia of Philosophy.details
|
|
Principia mathematica.Alfred North Whitehead & Bertrand Russell - 1910 - Cambridge,: University Press. Edited by Bertrand Russell.details
|
|
Quantifiers.Dag Westerståhl - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 437–460.details
|
|
Principia Mathematica.Morris R. Cohen - 1912 - Philosophical Review 21 (1):87.details
|
|
(1 other version)The Collected Papers of Charles Sanders Peirce.Charles Sanders Peirce, Charles Hartshorne & Paul Weiss - 1933 - International Journal of Ethics 43 (2):220-226.details
|
|
(1 other version)Introduction to mathematical philosophy.Bertrand Russell - 1920 - Revue de Métaphysique et de Morale 27 (2):4-5.details
|
|
(2 other versions)Principia mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130.details
|
|