Prior, Arthur N. Formal logic. - Oxford Clarendon Press 1955. - ix, 329 p. Includes index and bibliographes.