World Colleges Information

This book is a free text intended to be the basis for a problemoriented course(s) in mathematical logic and computability for students with some degree of mathematical sophistication. Parts I and II cover the basics of propositional and rst-order logic respectively, Part III covers the basics of computability using Turing machines and recursive functions, and Part IV covers G¨odel's Incompleteness Theorems