D. C. Makinson

• Topics in Modern Logic