|
|
Logic and philosophy. | ||
[Tait97] | Early Analytic Philosophy, Frege, Russell, Wittgenstein, with Leonard Linsky (editors), Open Court Publishers, 1997 | |
[Tait2005] | The Provenance of Pure Reason Logic and computation in Philosophy, Oxford University Press 2005 |
Logic and philosophy. | ||
[Tarski35] | On the Concept of Logical Consequence in [Tarski56] | |
[Tarski44] | The Semantic Conception of Truth and the Foundations of Semantics Published in Philosophy and Phenomenological Research 4 (1944) | |
[Tarski46] | Introduction to Logic and to the Methodology of Deductive Sciences, OUP 1994, Dover 1995 | |
[Tarski56] | Logic, Semantics, Metamathematics, Oxford 1956.Papers from 1923-38 |
Theoretical computer science, category theory, the foundations of mathematics and computing. | ||
[Taylor1999] | Practical Foundations of Mathematics, Cambridge University Press, Cambridge Studies in Advanced Mathematics, 1999 |