Externally indexed torrent

If you are the original uploader, contact staff to have it moved to your account

Textbook in PDF format

This book provides an elementary hands-on presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for particular kinds of questions. For anyone interested in Computer Science or Mathematics