Logic mathematics, language, computer science and philosophy - De Swart, Harrie 1944-