TY - BOOK AU - Kanger Stig ed. ED - Scandinavian Logic Symposium( 3rd: 1975 ) ED - TI - Proceedings U1 - 511.3 PY - 1975/// CY - Amsterdam PB - North-Holland KW - Mathematical logic ER -