TY - GEN digital ID - 131239946 TI - Proceedings of the second Scandinavian Logic Symposium AU - Fenstad, Jens Erik AU - Scandinavian Logic Symposium PY - 1971 SN - 0720422590 9780080954769 0080954766 PB - Amsterdam DB - UniCat KW - Mathematical logic UR - https://www.unicat.be/uniCat?func=search&query=sysid:131239946 AB - Provability, Computability and Reflection. ER -