A mathematical introduction to logic - Herderton, Herbert B. (Academia Press, 1972)