Modern deductive logic : an introdiction to its techniques and significance. - Ackermann, Robert John ((Philosophy), 1970)