Proposals for a formalized epistemology
Kluwer Academic Publishers
Harward University Press - Cambridge, Mass, 1990, 549 p.