Techniques of deductive inference / by H. Leblanc. - Leblanc, Hugues (Prentice-Hall, 1966)