Techniques of deductive inference - Leblanc Hugues (Englewood Cliffs Prentice-Hall, 1966)
Keywords: Mathematical logic; Symbolic logic