Donald Pelletier
Books by Donald Pelletier
Mathematical Logic: A Course with Exercises Part 2
Recursion Theory, Godel's Theorems, Set Theory, Model Theory
Mathematical Logic: A Course With Exercises Part 1
Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems