1 - Logic and foundations of mathematics. Dedicated to prof. A. Heyting on his 70th birthdayDalen, Dirk Van (1932-....) (Ed.) / Dijkman, Jacobus Gerhardus (Ed.) / Kleene, Stephen Cole (1909-1994) (Ed.)Cote : [05 DAL 68]