Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979
By: edited by Finn V. Jensen, Brian H. Mayoh, Karen K. Møller.
Contributors: Jensen, Finn V.; Mayoh, B. H.; Møller, Karen K.
Publisher: Institut for Elektroniske Systemer; distruberet af Aalborg Universitetsforlag
Published: 1979
Place of publication: Aalborg
Language: eng
Number of pages: 361
Subjects: Logic -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references.