008 |
|
070806s1998 ne a ob 000 0 eng d |
020 |
|
|a9780444500038
|
020 |
|
|a0444500030
|
029 |
1
|
|aNZ1|b12433480
|
035 |
|
|a(OCoLC)162577922
|
037 |
|
|a129896:130146|bElsevier Science & Technology|nhttp://www.sciencedirect.com
|
040 |
|
|aOPELS|cOPELS
|
049 |
|
|aTEFA
|
050 |
14
|
|aQA9.6|b.H36 1998eb
|
072 |
7
|
|aQA|2lcco
|
082 |
04
|
|a511.3/5|222
|
245 |
00
|
|aHandbook of recursive mathematics|h[electronic resource] /|cedited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek.
|
260 |
|
|aAmsterdam ;|aNew York :|bElsevier,|c1998.
|
300 |
|
|a2 v. (xlvi, 1372 p.) :|bill. ;|c24 cm.
|
440 |
0
|
|aStudies in logic and the foundations of mathematics ;|vv. 138-139
|
504 |
|
|aIncludes bibliographical references.
|
505 |
0
|
|aIntroduction 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).
|
505 |
0
|
|av. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics.
|
533 |
|
|aElectronic reproduction.|bAmsterdam :|cElsevier Science & Technology,|d2007.|nMode of access: World Wide Web.|nSystem requirements: Web browser.|nTitle from title screen (viewed on Aug. 2, 2007).|nAccess may be restricted to users at subscribing institutions.
|
650 |
0
|
|aRecursion theory.
|
650 |
6
|
|aRecursivit�e, Th�eorie de la.
|
655 |
7
|
|aElectronic books.|2local
|
700 |
1
|
|aErshov, �I�Uri�i Leonidovich.
|
710 |
2
|
|aScienceDirect (Online service)
|
776 |
1
|
|cOriginal|z044450107X|z9780444501073|z0444500030|z9780444500038|z0444501061|z9780444501066|w(DLC) 98048059|w(OCoLC)40163525
|
856 |
40
|
|3ScienceDirect|uhttp://www.sciencedirect.com/science/book/9780444500038|zAn electronic book accessible through the World Wide Web; click for information
|
994 |
|
|aC0|bTEF
|