Proceedings, Caltech-UCLA Logic Seminar 1981–85
Source
Identifiers
series ISSN : | 0075-8434 |
ISBN | 978-3-540-50020-9 |
e-ISBN | 978-3-540-45896-8 |
DOI | 10.1007/BFb0084966 |