Title: Lógica clàsica de primer orden
First published: 1999
LC classification: MLCM 2007/42698