Mathematica Ou Logica by M. Almeida De Cavalcanti