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 ![]() ![]() |