Languages of logic : An introduction - Guttenplan Samuel (London Blackwell Limited, 1986)