Mendelson, Elliott: Introduction to mathematical logic. New York : Van Nostrand, 1964