Computability theory, semantics and logic programming.
Church turing thesis
Saved in:
| Personal Name(s): | Fitting, M. |
|---|---|
| Imprint: |
New-York, NY :
Oxford University Pr.,
1987.
|
| Physical Description: |
XI, 198 S. |
| Note: |
englisch |
| ISBN: |
9780195036916 0195036913 |
| Series Title: |
Oxford logic guides ;
vol 0013. |
| Classification: |
| ZB | |
|---|---|
Open Stacks  Call number: S 006436-0013'01' Barcode: 1089101301
Available
|
|