|
|
|
|
| LEADER |
00814nam a2200205 a 4500 |
| 001 |
895463 |
| 005 |
20171111231336.0 |
| 008 |
990203s gr gr 00010 eng d |
| 020 |
|
|
|a 0521635500
|z (pbk.)
|
| 050 |
1 |
4 |
|a QA9.A1
|b L64 1997
|
| 082 |
0 |
|
|2 21
|a 511.3
|
| 110 |
2 |
|
|a Logic Colloquium ʹ97
|
| 245 |
1 |
0 |
|a Models and computabilty :invited papers from Logic Colloquium ʹ97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
|c edited by S. Barry Cooper, John K. Truss
|
| 260 |
|
|
|a New York :
|b Cambridge University Press ,
|c 1999 .
|
| 300 |
|
|
|a p. cm.
|
| 650 |
1 |
0 |
|a Computable functions
|x Congresses
|
| 650 |
1 |
0 |
|a Logic, Symbolic and mathematical
|x Congresses
|
| 700 |
1 |
|
|a Cooper, S. B.
|
| 710 |
2 |
|
|a Association for Symbolic Logic
|
| 952 |
|
|
|a GR-AtTEI
|b 59cc81cb6c5ad13446fdc258
|c 998a
|d 945l
|e -
|t 1
|x m
|z Books
|
