Computability and unsolvability
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
Nueva York
Dover
1982
|
| シリーズ: | Dover Books on Mathematics
|
| 主題: | |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCO7093 | ||
| 003 | CL-VaPUC | ||
| 008 | 001110e19820000US |||||||||||||||||eng|d | ||
| 082 | 0 | 4 | |a 511.3 |b DAV |2 21 |
| 100 | 0 | |a Davis, Martin |e author |9 451756 | |
| 245 | 1 | 0 | |a Computability and unsolvability |
| 300 | |a 248 p | ||
| 942 | |c BK | ||
| 945 | |d 20001110 00:00:00 |a vberengu | ||
| 260 | |a Nueva York |b Dover |c 1982 | ||
| 650 | 7 | |a COMPUTABILIDAD |2 CL-VaPUC |9 421904 | |
| 650 | 7 | |a FUNCIONES RECURSIVAS |2 CL-VaPUC |9 270697 | |
| 650 | 0 | |a Lógica matemática |9 262442 | |
| 650 | 7 | |a MAQUINAS DE TURING |2 CL-VaPUC |9 451757 | |
| 583 | |a last modification |c 20001110 00:00:00 |k Rodrigo Vera | ||
| 490 | 0 | |a Dover Books on Mathematics | |
| 999 | |c 292300 |d 292298 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_DAV_1982 |7 0 |8 A |9 343078 |a BIBMAT |b BIBMAT |d 2019-11-20 |i 3662373 |o 511.3 DAV 1982 |p 3662373 |r 2025-01-07 |w 2019-11-20 |y BK |k MAT | ||