Epistemology and logic (Lang, 1988)