Burrieza Muñiz, A. HAMILTON, A. G.: Lógica para matemáticos. Logos 1981, 16, 205.