Cargando…
Handbook of recursive mathematics /
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier,
1998.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 138-139. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162577922 | ||
| 003 | OCoLC | ||
| 005 | 20231117014948.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070806s1998 ne a ob 000 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OPELS |d OCLCQ |d OCLCF |d DEBBG |d YDXCP |d OCLCO |d OCLCQ |d DEBSZ |d U3W |d D6H |d LEAUB |d OL$ |d OCLCO |d OCLCQ | ||
| 020 | |a 9780444500038 | ||
| 020 | |a 0444500030 | ||
| 035 | |a (OCoLC)162577922 | ||
| 050 | 4 | |a QA9.6 |b .H36 1998eb | |
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 4 | |a 511.3/5 |2 22 |
| 245 | 0 | 0 | |a Handbook of recursive mathematics / |c edited by Yu. L. Ershov [and others] ; associate editor, V.M. Marek. |
| 260 | |a Amsterdam ; |a New York : |b Elsevier, |c 1998. | ||
| 300 | |a 1 online resource (2 volumes (xlvi, 1372 pages)) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v v. 138-139 | |
| 505 | 0 | |a Introduction to the Handbook of Recursive Mathematics (Yu. L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel). Pure computable model theory (V.S. Harizanov). Elementary theories and their constructive models (Yu. L. Ershov, S.S. Goncharov). Isomorphic recursive structures (C.J. Ash). Computable classes of contructive models (V.P. Dobritsa). & Sgr;-Definability of algebraic structures (Yu. L. Ershov). Autostable models and algorithmic dimensions (S.S. Goncharov). Degrees of models (J.F. Knight). Groups of computable automorphisms (A.S. Morozov). Constructive models of finitely axiomatizable theories (M.G. Peretyat'kin). Complexity theoretic model theory and algebra (D. Cenzer, J.B. Remmel). A bibliography of recursive algebra and recursive model theory (I. Kalantari). A bibliography of recursive analysis and recursive topology (V. Brattka, I. Kalantari). | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics. | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Recursion theory. | |
| 650 | 6 | |a Th�eorie de la r�ecursivit�e. |0 (CaQQLa)201-0077505 | |
| 650 | 7 | |a Recursion theory. |2 fast |0 (OCoLC)fst01091982 | |
| 700 | 1 | |a Ershov, �I�Uri�i Leonidovich. | |
| 776 | 0 | 8 | |i Print version: |t Handbook of recursive mathematics. |d Amsterdam ; New York : Elsevier, 1998 |z 044450107X |z 9780444501073 |w (DLC) 98048059 |w (OCoLC)40163525 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 138-139. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444500038 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=138 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/138 |z Texto completo |