- Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.details
|
|
Truth and other enigmas.Michael Dummett - 1978 - Cambridge: Harvard University Press.details
|
|
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Wittgenstein on the Foundations of Mathematics.Crispin Wright - 1980 - Cambridge, Mass.: Harvard University Press.details
|
|
The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.details
|
|
The Adequacy Problem for Classical Logic.J. I. Zucker, R. S. Tragesser, Dag Prawitz, Jaakko Hintikka & Ilkka Niiniluoto - 1982 - Journal of Symbolic Logic 47 (3):689-694.details
|
|
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.details
|
|
Philosophy of mathematics.Paul Benacerraf (ed.) - 1964 - Englewood Cliffs, N.J.,: Prentice-Hall.details
|
|
The semantic conception of truth and the foundations of semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.details
|
|
Conceptual role semantics.Gilbert Harman - 1982 - Notre Dame Journal of Formal Logic 28 (April):242-56.details
|
|
(Nonsolipsistic) conceptual role semantics.Gilbert Harman - 1987 - In Ernest LePore (ed.), New directions in semantics. Orlando: Academic Press. pp. 55–81.details
|
|
Conceptual role semantics.Mark Greenberg & Gilbert Harman - 1982 - Notre Dame Journal of Formal Logic 23 (2):242-256.details
|
|
Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.details
|
|
Deviant logic: some philosophical issues.Susan Haack - 1974 - New York: Cambridge University Press.details
|
|
Conceptual role semantics.Gilbert Harman - 1982 - Notre Dame Journal of Formal Logic 23:242-256.details
|
|
Semantics and psychology.Scott Soames - 1985 - In Jerrold J. Katz (ed.), The Philosophy of linguistics. New York: Oxford University Press. pp. 204--226.details
|
|
What is a theory of truth?Scott Soames - 1984 - Journal of Philosophy 81 (8):411-429.details
|
|
A computable ordinary differential equation which possesses no computable solution.Marian Boylan Pour-el - 1979 - Annals of Mathematical Logic 17 (1):61.details
|
|
Review: Yu. I. Manin, A Course in Mathematical Logic. [REVIEW]George Boolos - 1986 - Journal of Symbolic Logic 51 (3):829-830.details
|
|