Title: Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979 /
Authors: Jensen, Finn V.; Mayoh, B. H.; Møller, Karen K.
Publisher: Institut for Elektroniske Systemer : distruberet af Aalborg Universitetsforlag,
Year: 1979
Subjects: Logic Congresses; Logic, Symbolic and mathematical Congresses.