Leblanc, Hugues: Deductive logic. Boston : Allyn & Bacon, 1972