Lógica e aritmética
Oliveira, Augusto J. Franco de 1996