The classical decision problem
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin, Germany
Springer-Verlag
1987
|
| Series: | Perspectives in mathematical logic
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 46939 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241219005030.0 | ||
| 008 | 121009 1987 gw a bi 000 0 eng d | ||
| 020 | |a 345057073X | ||
| 020 | |a 038757073X | ||
| 022 | |a 0172-6641 | ||
| 039 | 9 | |a 201210090942 |b azraai |y 201210090942 |z azraai | |
| 040 | |a UPNM | ||
| 090 | |a ref QA 9.65 |b .B67 1987 | ||
| 100 | 1 | |a Borger, Egon | |
| 245 | 1 | 4 | |a The classical decision problem |c Egon Borger, Erich Gradel, Yuri Gurevich |
| 260 | |a Berlin, Germany |b Springer-Verlag |c 1987 | ||
| 300 | |a xii, 482 p. |b ill. |c 24 cm. | ||
| 490 | 1 | |a Perspectives in mathematical logic | |
| 504 | |a Includes bibliographical references and index | ||
| 650 | 0 | |a Decidability (Mathematical logic) | |
| 700 | 1 | |a Gradel, Erich | |
| 700 | 1 | |a Gurevich, Yuri | |
| 830 | 0 | |a Perspectives in mathematical logic | |
| 999 | |a vtls000047597 |c 46939 |d 46939 | ||