Traité de logique formelle - Tricot, J. (Librairie philosophique J. Vrin, 1930)