6 works on record
Sets, Logic and Maths for Computing
Towards Mathematical Philosophy
Invincible
Bridges From Classical To Nonmonotonic Logic
Topics in Modern Logic
Just a One Night Stand