Iniciação à lógica matemática - Alencar Filho, Edgard de. (Nobel, 1969)