David Makinson

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