Rod Downey profile picture

Rod Downey

Is this your author profile? Create an account to customize it!

Stand Alone

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
Proceedings of the 7th and 8th Asian Logic Conferences, Hsi-Tou, Taiwan 6 - 10 June 1999, Chongqing, China 29 August - 2 September 2002
Turing's Legacy
Proceedings of the 12th Asian Logic Conference
Turing's Legacy Developments from Turing's Ideas in Logic
Turing's Legacy Developments from Turing's Ideas in Logic
Computability and Complexity
Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Turing's Legacy: Developments from Turing's Ideas in Logic (Lecture Notes in Logic)
The Moralist A Novel
Turing's Legacy Developments from Turing's Ideas in Logic
The Moralist
Mathematical Logic, Computability, Complexity, and Randomness - Proceedings of the 16th Asian Logic Conference and 14th International Conference on Computability, Complexity, and Randomness