TY - BOOK ID - 140039135 TI - Logic; foundations of mathematics, and computability theory : proceedings of the international congress, London, 1975 AU - Hintikka, Jaakko AU - Butts, Robert E. PY - 1977 PB - Dordrecht, Boston Reidel DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:140039135 AB - ER -