Logic: A Very Short Introduction. Issue 2 (3rd April 2019) - Cook, Roy