Elements of logic - Barker Stephan F. (New York, USA McGraw Hill Book Company, 1965)