Languages of logic An introduction to formal logic. - Guttenplan Samuel (Oxford Blackwell, 1997)