Formal logic
by A. N. Prior.
Oxford : Clarendon Press, 1955.
ix, 329 págs. ; cm.
Part I. The classical propositional and functional calculi — Part II. The traditional logic of terms — Part III. Modal, three-valued, and extensional systems.
Incluye referencias bibliográficas.
Reseña: MathSciNet, 17,569b