You are about to access our book library "Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979 full version" .