Language of logic - Freudenthal Hans (New York Elsevier, 1966)
Keywords: Mathematical logic; Symbolic logic