Proposals for a formalized epistemology
Kluwer Academic Publishers
Ed. Gallimard. NRF Essais. Paris 1989, 412 p.