Beginner's Further Guide To Mathematical Logic, A

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'<div style='text-align: right;'>The Mathematical Gazette</div>This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapt