Portugués

Símbolizaçâo no cálculo de predicados (650 problemas)
Título Símbolizaçâo no cálculo de predicados ;
Lugar de publicación Sâo Paulo
Editorial Editora da Universidade de Sâo Paulo
Fecha de publicación [1976]