Philosophy of Logic and Mathematics (1993).
فلسفة المنطق والرياضيات (1993).