Concise intermediate Logic part II induction - Asirvatham,A (1954)
English