Welcome to the homepage of

 

 

My book on Discrete Maths and Logic, co-authored with Valentin Goranko, was recently published by Wiley:

There is also a solutions manual for the exercises which also involves Claudette Robinson as co-author:

I'm co-organizing a workshop on Unified Correspondence Theory together with Johan van Benthem, Alessandra Palmigiano,  Michael Moortgat and Nachoem Wijnberg, to be hosted at the Lorentz Center at the University of Leiden from 15 to 19 February 2016.

I'm a member of the local organizing committee for LATD 2016 which will take place from 28 to 30 June 2016 in Phlaborwa, South Africa.

Contact Information