Language proof and logic - Barwise, Jon; Etchemendy, John, 1952-; Allwein, Gerard, 1956-; Barker-Plummer, Dave; Liu, Albert, 1966- (United States : Center for the Study of Language and Information, 1999)
Contiene glosario e índice general.
Keywords: LÓGICA