TY - BOOK ID - 50901267 TI - Proceedings of the Second Scandinavian Logic Symposium AU - Fenstad, Jens Erik. AU - Scandinavian Logic Symposium AU - Association for Symbolic Logic. PY - 1971 SN - 1283525313 9786613837769 0080954766 9780080954769 0720422590 9780720422597 PB - Amsterdam : North-Holland Pub. Co., DB - UniCat KW - Logic, Symbolic and mathematical UR - https://www.unicat.be/uniCat?func=search&query=sysid:50901267 AB - Provability, Computability and Reflection ER -