Computability, complexity, logic /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | English German |
| Publicat: |
Amsterdam ; New York : New York, N.Y. :
North-Holland ; Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co.,
1989.
|
| Col·lecció: | Studies in logic and the foundations of mathematics ;
v. 128 |
| Matèries: |
| LEADER | 01410cam a2200349 a 4500 | ||
|---|---|---|---|
| 001 | c000289967 | ||
| 003 | CARM | ||
| 005 | 20090109104601.0 | ||
| 008 | 890414s1989 ne a b 001 0 eng d | ||
| 019 | 1 | |a 6470837 |z 22608397 |5 LACONCORD2021 | |
| 020 | |a 0444874062 | ||
| 035 | |a (OCoLC)19722785 |5 LACONCORD2021 | ||
| 040 | |a LC |b eng |c LC |d NUN |d VCAV | ||
| 041 | 1 | |a eng |a ger | |
| 050 | 0 | 0 | |a QA9.59 |b .B6713 1989 |
| 050 | 1 | 4 | |a QA9.59 |b .B6713 1989 |
| 082 | 0 | 4 | |a 511.3 |2 20 |
| 100 | 1 | |a Börger, E. |q (Egon), |d 1946- | |
| 240 | 1 | 0 | |a Berechenbarkeit, Komplexität, Logik. |l English |
| 245 | 1 | 0 | |a Computability, complexity, logic / |c E. Börger. |
| 260 | |a Amsterdam ; |a New York : |b North-Holland ; |a New York, N.Y. : |b Distributors for the U.S.A. and Canada : |b Elsevier Science Pub. Co., |c 1989. | ||
| 300 | |a xx, 592 p. : |b ill. ; |c 23 cm. | ||
| 440 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 128 | |
| 500 | |a Translation of: Berechenbarkeit, Komplexität, Logik. | ||
| 500 | |a Includes index. | ||
| 504 | |a Bibliography: p. 529-573. | ||
| 650 | 0 | |a Computable functions. | |
| 650 | 0 | |a Computational complexity. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 852 | 8 | |b CARM |h A3:AB32A0 |i B11163 |p 0521455 |f BK | |
| 999 | f | f | |i b4b764d8-3348-54cb-aa61-17c940329214 |s 8631ab08-d7d8-59b1-9146-f483586b3e71 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e B11163 |f A3:AB32A0 |h Other scheme |i book |m 0521455 |