|
|
..T
|
| |||||||||||||||||||||||||||
| 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 |
|
-definability;
The Journal of Symbolic Logic Volume 2, Number 4, December 1937
©
created 1995-07-27 modified 2011-04-29