Formal logic.
Prior, Arthur Norman.
Oxford, 
1955.