| |
Philosophia Mathematica, Vol. 11, No. 2. (1 June 2003), pp. 129-157.
|
| |
|
| |
Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 1-43.
|
| |
Cybernetics and Systems Analysis, Vol. 14, No. 3. (1 May 1978), pp. 334-338.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 9, No. 5. (1999), pp. 569-616.
|
| |
|
| |
Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.
|
| |
Philosophical Transactions: Physical Sciences and Engineering, Vol. 339, No. 1652. (1992), pp. 69-86.
|
| |
In Proceedings of the Conference on Categorical Algebra (1966), pp. 1-21.
|
| |
|
| |
|
| |
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 196 (2008), pp. 137-151.
|
| |
Neural Comput., Vol. 19, No. 10. (October 2007), pp. 2665-2693.
|
| |
British Journal for the Philosophy of Science, Vol. 58, No. 1. (15 March 2007), pp. 77-112.
|
| |
Axiomathes, Vol. 16, No. 4. (10 December 2006), pp. 424-459.
|
| |
|
| |
In Differential Geometric Methods in Theoretical Physics, Vol. 375 (1991), pp. 131-142.
|
| |
ArXiv Mathematics e-prints (December 2005)
|
| |
The Age of Alternative Logics (2006), pp. 163-179.
|
| |
|
| |
|
| |
Synthese, Vol. 69, No. 3. (1 December 1986), pp. 409-426.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458.
|
| |
ArXiv Mathematics e-prints (October 1994)
|
| |
In WOODPECKER '01: Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation (2001), pp. 38-54.
|
| |
|
| |
Foundations of Science, Vol. 8, No. 4. (1 December 2003), pp. 317-364.
|
| |
|
CiteULike
Scis0000002's CiteULike
Search
Export
