Oliveira, Augusto J. Franco de
Lógica e aritmética
Lógica e aritmética; : uma introdução informal aos métodos formais
/ Augusto Franco de Oliveira.
- 1ª ed.
- Lisboa : Gradiva, 1991.
- 204 p. ; 23 cm.
- (Trajectos ciência : 1))
- (Brochado) . -
CDU 510/511
