| |
|
| |
|
| |
Mathematical. Structures in Comp. Sci., Vol. 9, No. 5. (1999), pp. 569-616.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
ArXiv Mathematics e-prints (June 2006)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
ArXiv Mathematics e-prints (31 Jul 2008)
|
| |
Philosophical Studies, Vol. 51, No. 1. (1 January 1987), pp. 77-99.
|
| |
|
| |
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 Presented at the 7th Congr. of Logic, Methodology and Philisophy of Sci., Salzburg, Austria, 11 Jul. 1983 (November 1983)
|
| |
Semigroup Forum, Vol. 53, No. 1. (23 December 1996), pp. 394-398.
|
| |
|
| |
|
| |
Synthese, Vol. 101, No. 1. (1 October 1994), pp. 1-14.
|
| |
|
| |
|
| |
|
| |
|
| |
Foundations of Physics, Vol. 36 (July 2006), pp. 1070-1098.
|
| |
|
| |
|
| |
Journal of Mathematical Physics, Vol. 41 (June 2000), pp. 3764-3775.
|
| |
|
| |
|
| |
|
| |
|
| |
Annals of the New York Academy of Sciences, Vol. 1068, No. 1. (April 2006), pp. 352-366.
|
| |
|
| |
Artificial Intelligence and Symbolic Computation (1998), pp. 132-144.
|
| |
|
| |
|
| |
|
| |
Studia Logica, Vol. 42, No. 4. (21 December 1983), pp. 461-475.
|
| |
Studia Logica, Vol. 44, No. 1. (1 March 1985), pp. 25-38.
|
| |
|
| |
|
| |
|
| |
|
| |
|
Search
