Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979 /
| 種別: | 図書 |
|---|---|
| 出版事項: |
Aalborg :
Institut for Elektroniske Systemer : distruberet af Aalborg Universitetsforlag,
1979
|
| ISBN: | 8773070378 |
| 主題: |
| 記述事項: | Includes bibliographical references |
|---|---|
| 形態事項: | vii, 361 p. ; 21 cm |