وقد ساهم كاتب غزير الإنتاج ، أو شارك في تأليف أكثر من 30 كتابا وأكثر من 300 مقالة علمية إلى المنطق الرياضي و المنطق الفلسفي و فلسفة الرياضيات و نظرية المعرفة و فلسفة اللغة و فلسفة العلوم.
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.