Oliveira, A. F. d. (1991). Lógica e aritmética: Uma introdução informal aos métodos formais (1ª.). Gradiva.
Chicago-referens (17:e uppl.)Oliveira, Augusto Franco de. Lógica E Aritmética: Uma Introdução Informal Aos Métodos Formais. 1ª. Gradiva, 1991.
MLA-referens (8:e uppl.)Oliveira, Augusto Franco de. Lógica E Aritmética: Uma Introdução Informal Aos Métodos Formais. 1ª. Gradiva, 1991.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.