This is an introduction to mathematical logic in which all the usual topics are presented: compactneProducator: CRC PR INC