- Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
.Wlodek Rabinowicz - 2016details
|
|
Realism, Meaning and Truth.Crispin Wright - 1986 - Cambridge, Mass., USA: Blackwell.details
|
|
Book Reviews. [REVIEW]Johan van Benthem - 2001 - Studia Logica 67 (1):111-150.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
Existence, proof and truth-making: A perspective on the intuitionistic conception of truth.Göran Sundholm - 1994 - Topoi 13 (2):117-126.details
|
|
Intuitionistic truth.Wlodzimierz Rabinowicz - 1985 - Journal of Philosophical Logic 14 (2):191 - 228.details
|
|
Actual truth, possible knowledge.Wlodek Rabinowicz & Krister Segerberg - 1994 - Topoi 13 (2):101-115.details
|
|
The Philosophy of Michael Dummett.Brian F. McGuinness & Gianluigi Oliveri (eds.) - 1994 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
Verificationism Then and Now.Per Martin-löf - 1995 - Vienna Circle Institute Yearbook 3:187-196.details
|
|
Truth of a proposition, evidence of a judgement, validity of a proof.Per Martin-Löf - 1987 - Synthese 73 (3):407 - 420.details
|
|
Towards a theory of information: the status of partial objects in semantics.Fred Landman - 1986 - Riverton, N.J., U.S.A.: Foris Publications.details
|
|
Anti-realist truth and concepts of superassertibility.Jim Edwards - 1996 - Synthese 109 (1):103 - 120.details
|
|
The seas of language.Michael Dummett - 1993 - New York: Oxford University Press.details
|
|
Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59 (1):141-62.details
|
|
VIII.—Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59:141-162.details
|
|
Truth.Michael Dummett - 1968 - Journal of Symbolic Logic 33 (1):148-148.details
|
|
Type-theoretical Grammar.Aarne Ranta - 1994 - Oxford, England: Oxford University Press on Demand.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.details
|
|
Truth and Other Enigmas.Michael Dummett - 1978 - Philosophical Quarterly 31 (122):47-67.details
|
|
Intuitionistic Logic.Dirk van Dalen - 2002 - In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115.details
|
|
Wittgenstein on Necessity: Some Reflections.Michael Dummett - 1994 - In ¸ Iteclarkhale:Rp. pp. 49--65.details
|
|
Language and Truth.Michael Dummett - 1983 - In Roy Harris (ed.), Approaches to Language. Pergamon Press.details
|
|
Vestiges of realism.Göran Sundholm - 1994 - In Brian McGuiness & Gianluigi Oliveri (eds.), The Philosophy of Michael Dummett. Kluwer Academic Publishers. pp. 137--165.details
|
|
Truth and Other Enigmas.Michael Dummett - 1978 - British Journal for the Philosophy of Science 32 (4):419-425.details
|
|
On intuitionistic modal epistemic logic.Timothy Williamson - 1992 - Journal of Philosophical Logic 21 (1):63--89.details
|
|
Truth and Other Enigmas.Michael Dummett - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (1):62-65.details
|
|
Brouwer's Intuitionism.W. P. Van Stigt - 1993 - Revue Philosophique de la France Et de l'Etranger 183 (4):746-749.details
|
|
Remnants of Meaning.Stephen Schiffer - 1990 - Studia Logica 49 (3):427-428.details
|
|
Intensional Mathematics.Stewart Shapiro - 1989 - Philosophy of Science 56 (1):177-178.details
|
|
On the meanings of the logical constants and the justifications of the logical laws.Per Martin-Löf - 1996 - Nordic Journal of Philosophical Logic 1 (1):11-60.details
|
|
Intensional Mathematics.Stuart Shapiro - 1991 - Studia Logica 50 (1):161-162.details
|
|