Computability theory, semantics, and logic programming /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York : Oxford :
Oxford University Press ; Clarendon Press,
1987
New York : Oxford : 1987 |
| Series: | Oxford logic guides ;
13 Oxford logic guides 13 Oxford logic guides ; 13 Oxford logic guides 13 Oxford science publications |
| Subjects: |
Internet
Yale University
| Call Number: |
QA9.59 F58X 1987 |
|---|
University of Chicago
| Call Number: |
QA9.59.F57 |
|---|
Massachusetts Institute of Technology
| Call Number: |
QA9.59.F58 1987 |
|---|
Harvard University
| Call Number: |
QA9.59 .F58 1987 |
|---|
Duke University
| Call Number: |
001.642 F547, C738, 1987 |
|---|
Cornell University
| Call Number: |
QA9.59 .F54 |
|---|
Columbia University
| Call Number: |
QA9.59 .F58 1987 |
|---|
Brown University
| Call Number: |
QA9.59 .F58 1987 |
|---|