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