|
|
|
|
| LEADER |
00946Cam#a2200253#a#4500 |
| 001 |
006733 |
| 005 |
20160721144104.0 |
| 008 |
000915s2000||||xxua |#| #00|#0#eng#d |
| 020 |
|
|
|a 0534546447
|
| 040 |
|
|
|a AR-beUNQ
|
| 099 |
|
|
|a 20-E6
|
| 100 |
1 |
|
|a Epstein, Richard L.
|
| 245 |
0 |
2 |
|a Computability :
|b computable functions, logic, and the foundations of mathematics
|c Richard L. Epstein, Walter A. Carnielli.
|
| 250 |
|
|
|a 2a. ed.
|
| 260 |
|
|
|a Belmont :
|b Wadsworth/Thomson Learning,
|c 2000
|
| 300 |
|
|
|a 299 p. :
|b gráficos, tablas
|
| 500 |
|
|
|a With Computability and undecidability - a timeline, the story of the developmentof computable functions and the undecidability of arithmetic to 1970, Richard L. Epstein
|
| 650 |
|
7 |
|a FUNCIONES ESPECIALES
|2 Spines
|
| 650 |
|
7 |
|a MATEMATICAS
|2 Spines
|
| 653 |
|
|
|a LOGICA SIMBOLICA
|
| 700 |
1 |
|
|a Carnielli, Walter A
|
| 929 |
|
|
|a COMPRA
|b CEI
|d 15,00E
|e 20000613
|j 28168
|
| 942 |
|
|
|c LIB
|n 0
|
| 999 |
|
|
|c 9443
|d 84830
|