Proposals for a formalized epistemology
Kluwer Academic Publishers
Ed. L.G.D.J., Paris, 1992. 486 pages.