Elements of logic via numbers and sets - Johnson, David L. 1943- (Springer, 1998)