| |
|
| |
|
| |
|
| |
Guide to Philosophical Logic In Guide to Philosophical Logic (2001)
|
| |
Companion to Philosophical Logic In Companion to Philosophical Logic (2002)
|
| |
In Relevant Logics and their Rivals, Vol. II (2003)
|
| |
In The Law of Non-Contradiction (2004)
posted to no-tag by CLLC
on 2006-05-07 04:15:26
as 
|
| |
Studia Logica, Vol. 65 (2000), pp. 315-322.
posted to no-tag by CLLC
on 2006-05-07 04:12:28
as
|
| |
Erkenntnis, Vol. 56 (2002), pp. 229-246.
|
| |
Journal of Philosophical Logic, Vol. 33 (2004), pp. 327-341.
|
| |
|
| |
Handbook of the History of Logic, Volume 7: Logic and the Modalities in the Twentieth Century In Handbook of the History of Logic, Volume 7: Logic and the Modalities in the Twentieth Century (2006)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Theoretical Computer Science, Vol. In Press, Corrected Proof
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Notre Dame Journal of Formal Logic, Vol. 44, No. 4. (2003), pp. 200-216.
posted to no-tag by CLLC
on 2006-03-28 00:05:22
as
|
| |
Journal of Symbolic Logic, Vol. 69, No. 4. (2004), pp. 1200-1220.
posted to no-tag by CLLC
on 2006-03-28 00:04:02
as
|
| |
Australasian Journal of Logic, Vol. 2 (2004), pp. 11-29.
|
| |
Logique et Analyse, Vol. 48, No. 189-192. (2005), pp. 3-13.
posted to no-tag by CLLC
on 2006-03-27 23:58:50
as
|
| |
Journal of Algebra, Vol. 217, No. 2. (1999), pp. 599-627.
posted to no-tag by CLLC
on 2006-03-27 23:56:54
as
|
| |
Algebra Universalis, Vol. 49, No. 2. (2003), pp. 129-158.
|
| |
|
| |
Developments in language theory. Papers from the 8th International Conference (DLT 2004) held at Massey University Albany, Auckland, December 13--17, 2004 In Developments in language theory. Papers from the 8th International Conference (DLT 2004) held at Massey University Albany, Auckland, December 13--17, 2004, Vol. 3340 (2004), pp. 12-26.
|
| |
Annals of Pure and Applied Logic In New Zealand Institute of Mathematics and its Applications: Logic and Computation Programme, Vol. 138, No. 1-3. (March 2006), pp. 52-76.
|
| |
Annals of Pure and Applied Logic, Vol. 129, No. 1-3. (October 2004), pp. 163-180.
|
| |
Theoretical Computer Science, Vol. 321, No. 2-3. (16 August 2004), pp. 249-270.
|
| |
Electronic Notes in Theoretical Computer Science In CATS'03, Computing: the Australasian Theory Symposium, Vol. 78 (April 2003), pp. 1-14.
|
| |
Theoretical Computer Science, Vol. 284, No. 2. (28 July 2002), pp. 539-555.
|
| |
Electronic Notes in Theoretical Computer Science In CCA 2002, Computability and Complexity in Analysis (ICALP 2002 Satellite Workshop), Vol. 66, No. 1. (July 2002), pp. 1-11.
|
| |
Discrete Applied Mathematics, Vol. 100, No. 3. (30 March 2000), pp. 155-167.
|
| |
Theoretical Computer Science, Vol. 233, No. 1-2. (28 February 2000), pp. 107-127.
posted to no-tag by CLLC
on 2006-03-27 23:25:17
as
|
| |
Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on In Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on (2004), pp. 1422-1423.
posted to no-tag by CLLC
on 2006-03-27 23:14:45
as
|
| |
Computational Complexity, 2003. Proceedings. 18th IEEE Annual Conference on In Computational Complexity, 2003. Proceedings. 18th IEEE Annual Conference on (2003), pp. 147-168.
|
| |
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 29-36.
|
| |
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific In Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific (2000), pp. 274-281.
|
| |
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on In Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on (2005), pp. 507-516.
|
| |
Mathematical Logic Quaterly, Vol. 50, No. 6. (2004), pp. 613-627.
|
| |
Mathematical Logic Quaterly, Vol. 50, No. 4-5. (2004), pp. 345-350.
|
| |
Mathematical Logic Quarterly, Vol. 48, No. S1. (2002), pp. 29-40.
|
| |
Mathematical Logic Quaterly, Vol. 47, No. 2. (2001), pp. 161-182.
|
| |
ASWEC '00: Proceedings of the 2000 Australian Software Engineering Conference In ASWEC '00: Proceedings of the 2000 Australian Software Engineering Conference (2000), pp. 189-201.
|
Search
