Scandinavian Logic Symposium Aalborg, Denmark 1979.

• Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979