Proceedings - Fenstad J E ed; Scandinavian logic symposium( 2nd : 1971 ) (London North-Holland, 1971)
Keywords: Mathematical logic