From mathematics to philosophy - Wang Hao (London Routledge and Kegan Paul, 1974)
Keywords: Mathematical logic