Mathematical logic - Arruda Ayda I Ed. (New York Marcel Dekker, 1978)