12,080
edits
Changes
→Logic and mathematics: bullet
* [[W.W. Tait|Tait, W.W.]] (1986), "Truth and Proof: The Platonism of Mathematics", ''Synthese'' 69 (1986), 341–370. Reprinted, pp. 142–167 in W.D. Hart (ed., 1996).
* [[W.W. Tait|Tait, W.W.]] (1986), "Truth and Proof: The Platonism of Mathematics", ''Synthese'' 69 (1986), 341–370. Reprinted, pp. 142–167 in W.D. Hart (ed., 1996).
[[Alfred Tarski|Tarski, A.]] (1935), "Der Wahrheitsbegriff in den formalisierten Sprachen", ''Studia Philosophica'' 1, pp. 261–405. Translated as "The Concept of Truth in Formalized Languages", in Tarksi (1983), pp. 152–278.
* [[Alfred Tarski|Tarski, A.]] (1935), "Der Wahrheitsbegriff in den formalisierten Sprachen", ''Studia Philosophica'' 1, pp. 261–405. Translated as "The Concept of Truth in Formalized Languages", in Tarksi (1983), pp. 152–278.
* Tarski, Alfred (1944), "The Semantic Conception of Truth and the Foundations of Semantics", ''Philosophy and Phenomenological Research'' 4 (3), 341–376.
* Tarski, Alfred (1944), "The Semantic Conception of Truth and the Foundations of Semantics", ''Philosophy and Phenomenological Research'' 4 (3), 341–376.
* [[Stanisław Marcin Ulam|Ulam, S.M.]] and [[Al Bednarek|Bednarek, A.R.]], "On the Theory of Relational Structures and Schemata for Parallel Computation", pp. 477-508 in A.R. Bednarek and Françoise Ulam (eds.), ''Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators'', University of California Press, Berkeley, CA, 1990.
* [[Stanisław Marcin Ulam|Ulam, S.M.]] and [[Al Bednarek|Bednarek, A.R.]], "On the Theory of Relational Structures and Schemata for Parallel Computation", pp. 477-508 in A.R. Bednarek and Françoise Ulam (eds.), ''Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators'', University of California Press, Berkeley, CA, 1990.
* [[Jean van Heijenoort|van Heijenoort, Jean]] (ed. 1967), ''From Frege To Gödel: A Source Book in Mathematical Logic, 1879–1931'', Harvard University Press, Cambridge, MA.
* [[Jean van Heijenoort|van Heijenoort, Jean]] (ed. 1967), ''From Frege To Gödel : A Source Book in Mathematical Logic, 1879–1931'', Harvard University Press, Cambridge, MA.
* [[Paulus Venetus|Venetus, P.]], ''Logica Parva, Translation of the 1472 Edition with Introduction and Notes'', Alan R. Perreiah (trans.), Philosophia Verlag, Munich, Germany, 1984.
* [[Paulus Venetus|Venetus, P.]], ''Logica Parva, Translation of the 1472 Edition with Introduction and Notes'', Alan R. Perreiah (trans.), Philosophia Verlag, Munich, Germany, 1984.