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: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Oxford logic guides ;
vol 0013. |
Classification: |
LEADER | 00831nam a2200241 n 4500 | ||
---|---|---|---|
001 | 126623 | ||
005 | 19970519000000.0 | ||
008 | r1987 | ||
020 | |a 0195036913 | ||
035 | |a (Sirsi) a112557 | ||
084 | 0 | |a MDE - Decidability, calculability, enumerability |2 ZB | |
084 | 0 | |a MDF - Formal languages, coding theory |2 ZB | |
245 | 0 | 0 | |a Computability theory, semantics and logic programming. |
260 | |a New-York, NY : |b Oxford University Pr., |c 1987. | ||
300 | |a XI, 198 S. | ||
490 | 0 | |a Oxford logic guides ; |v vol 0013. | |
500 | |a englisch | ||
520 | |a Church turing thesis | ||
596 | |a 1 | ||
700 | 1 | |a Fitting, M. | |
900 | |a S 006436-0013'01' | ||
908 | |a Monographie, Sammelwerk | ||
949 | |a S 006436-0013'01' |w LC |c 1 |i 1089101301 |d 14/8/1998 |e 7/8/1998 |l STACKS |m ZB |n 1 |r Y |s Y |t ZBB |u 25/3/2009 |x ZB-M |1 PRINT |