1
Published 1987
North-Holland
... foundations of computer science, and philosophy of mathematics...