Portugese
Tait, Norma de Oliveira
Metamathematics, Machines and Gödel's Proof
N. Shankar
Mathematica Tutorial
Unknown
The Sounds of Language: An Introduction to Phonetics
Henry Rogers
Here and There: Cross-Linguistic Studies on Deixis and Demonstration
Jürgen Weissenborn & Wolfgang Klein
Approaches to Knowledge Representation: An Introduction
Gordon A. Ringland & David A. Duce