TY  - BOOK
AU  - Silva
TI  - Binary linear forms and finite partitions over the natural numbers
PY  - 2007///
CY  - Lisboa
PB  - M. A. S.
KW  - Lógica matemática
KW  - Teses
KW  - QA9
ER  -