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 c

Alonzo Church – was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.