Proceedings from 5th Scandinavian Logic Symposium Aalborg, 17-19 January 1979 by Jensen, Finn V., Mayoh, Brian H., Moeller, Karen K., Scandinavian Logic Symposium, Aalborg) 0 Type: Book
