Computability : computable functions, logic, and the foundations of mathematics
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Belmont :
Wadsworth/Thomson Learning,
2000
|
| Edition: | 2a. ed. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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 | ||