Computability theory, semantics, and logic programming
Main Author: | |
---|---|
Format: | Book |
Language: | Inglés |
Published: |
New York : Oxford :
Oxford University Press ; Clarendon Press
1987
|
Series: | Oxford logic guides ;
13 |
Subjects: | |
See on Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991001751519706719 |