The prolific author or co-author of over 30 books and over 300 scholarly articles has contributed to mathematical logic, philosophical logic, the philosophy of mathematics, epistemology, language theory, and the philosophy of science.