|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000029717 |
| 008 |
021119n |
| 020 |
|
|
|a 0521299675
|c (pbk.)
|
| 090 |
0 |
0 |
|a Q9.59
|b .B66 1980
|
| 100 |
0 |
|
|a Boolos, George
|e author
|
| 245 |
0 |
0 |
|a Computability and logic
|c George Boolos, Richard Jeffrey
|
| 250 |
|
|
|a 2nd ed.
|
| 260 |
2 |
|
|a Cambridge
|b Cambridge University Press
|c 1980
|
| 300 |
|
|
|a x, 285 p. ;
|c 23 cm.
|
| 650 |
|
0 |
|a Computable functions
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|
| 650 |
|
0 |
|a Recursive functions
|
| 700 |
0 |
|
|a Jeffrey, Richard
|e author
|
| 999 |
|
|
|a 1000048725
|b Book
|c Close Access
|e Tembila Campus
|