Proposals for a formalized epistemology
Kluwer Academic Publishers
Ed ; Maxima-Laurent du Mesnil, Paris, 1996, 240 pages.