Mathematical Logic - An Introduction
About Mathematical Logic - An Introduction:
This book is broken up into the following sections:
1. The History of Logic
2. Basic Set Theory
3. Turing Machines
4. Statement Logic
5. Predicate Logic
1. The History of Logic
2. Basic Set Theory
3. Turing Machines
4. Statement Logic
5. Predicate Logic