TY  - BOOK
AU  - Oliveira
TI  - Lógica e aritmética : uma introdução informal aos métodos formais 
T2  - Trajectos ciência
PY  - 1991///
CY  - Lisboa 
PB  - Gradiva
KW  - Matemática
KW  - 51
KW  - PT
KW  - por
KW  - 510/511/OLI/LOG
ER  -