Department of Computer Science and
Room 2051, Computer Science and Engineering Building (CSEB)
Phone: (416) 736-2100 (66674)
Fax: (416) 736-5872
Office hours: These are term dependent (posted on my courses-pages
Two papers (with Francisco Kibedi) on modal extensions of predicate logic have appeared in BSL (Vol. 32, No. 4, pp. 165-178, 2003 and Vol. 33, No. 1, pp. 1-10, 2004).
Here is a preprint (pdf).
Another joint paper with Francisco, on modal predicate logic, has
appeared in the Logic Journal of the IGPL (A Modal Extension of Weak Generalisation
Francisco Kibedi; George Tourlakis, Logic Journal of IGPL 2006; doi: 10.1093/jigpal/jzl025).
My graduate level book on Mathematical Logic was published
in January 2003
Cambridge Studies in Advanced Mathematics series. Among its
340 pages it contains a complete proof of Goedel's 2nd
I have also written extensive notes, in book form, on introductory
logic from a user's perspective.
These notes, in book form, will be published in the nearest future by
John Wiley & Sons, Inc.
Return to the University's main home page .
Return to the main Computer Science and Engineering home page .