TY - BOOK AU - Kanger, Stig. AU - Third Scandinavian Logic Symposium TI - Proceeding of the third scandinavian logic symposium T2 - Studies in Logic and the Foundations of Mathematics SN - 0720422000 U1 - 511.306 PY - 1975/// CY - Amsterdam PB - North-Holland ER -