Three Views of LogicDonald W. Loveland, Richard E. Hodel, S G Sterrett · First published 2014Open the Tome
An Introduction to Mathematical Logic Dover Books on MathematicsRichard E. Hodel · First published 2013Open the Tome
