Formal logic.
Prior, Arthur Norman.
Oxford, 
1962.
[With a bibliography.]