Proposals for a formalized epistemology
Kluwer Academic Publishers
Ed. Pergamon Press, Oxford, 1992, 229 p..