- Second-order Logic.John Corcoran - 2001 - In Alonzo Church, C. Anthony Anderson & Michael Zelëny (eds.), Logic, meaning, and computation: essays in memory of Alonzo Church. Boston: Kluwer Academic Publishers. pp. 61–76.details
|
|
Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.details
|
|
String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.details
|
|
Schemata: The concept of schema in the history of logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.details
|
|
Aristotle's demonstrative logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.details
|
|
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.details
|
|
Philosophy of Logic.W. V. O. Quine - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.details
|
|
The elements of mathematical logic.Paul Charles Rosenbloom - 1950 - New York]: Dover Publications.details
|
|
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.details
|
|
On the logic of quantification.W. V. Quine - 1945 - Journal of Symbolic Logic 10 (1):1-12.details
|
|
Prolegomena to an Apology for Pragmaticism.Charles S. Peirce - 1906 - The Monist 16 (4):492-546.details
|
|
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.Alfred Tarski & J. H. Woodger (eds.) - 1983 - New York, NY, USA: Hackett Publishing Company.details
|
|
The Tarskian Turn: Deflationism and Axiomatic Truth.Leon Horsten - 2011 - MIT Press.details
|
|
Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis.S. Feferman & G. Jäger - 1983 - Journal of Symbolic Logic 48 (1):63-70.details
|
|
Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.details
|
|
Alfred Tarski. Life and Logic.Anita Burdman Feferman Y. Salomón Feferman - 2006 - Critica 38 (112):105-111.details
|
|
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|