東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Handbook of recursive mathematics

Ershov, �I�Uri�i Leonidovich.

FindBook

Google Book

Amazon

博客來

Handbook of recursive mathematics

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Handbook of recursive mathematics/ edited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek.
其他作者:	Ershov, �I�Uri�i Leonidovich.
出版者:	Amsterdam ;Elsevier, : 1998.,
面頁冊數:	2 v. (xlvi, 1372 p.) :ill. ;24 cm.
叢書名:	Studies in logic and the foundations of mathematics ;
內容註:	v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics.
內容註:	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).
標題:	Recursion theory. -
電子資源:	http://www.sciencedirect.com/science/publication?issn=0049237X&volume=138An electronic book accessible through the World Wide Web; click for information
電子資源:	http://www.loc.gov/catdir/enhancements/fy0602/98048059-t.html
ISBN:	0444500030

Handbook of recursive mathematics
Handbook of recursive mathematics[electronic resource] /edited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek. - Amsterdam ;Elsevier,1998. - 2 v. (xlvi, 1372 p.) :ill. ;24 cm. - Studies in logic and the foundations of mathematics ;v. 138-139.

Includes bibliographical references.

v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics.

Electronic reproduction.
Amsterdam :
Elsevier Science & Technology,
2007.

Mode of access: World Wide Web.

ISBN: 0444500030

Source: 129896:130146Elsevier Science & Technologyhttp://www.sciencedirect.comSubjects--Topical Terms:

646228
Recursion theory.
Index Terms--Genre/Form:

542853
Electronic books.

LC Class. No.: QA9.6 / .H36 1998eb

Dewey Class. No.: 511.3/5

Handbook of recursive mathematics
LDR:02495cam 2200349 a 45 001 893120
003 OCoLC
005 20101126
006 m d
007 cr cn|||||||||
008 101126s1998 ne a ob 000 0 eng d
020 $a 0444500030
020 $a 9780444500038
029 1 $a NZ1 $b 12433480
035 $a (OCoLC)162577922
035 $a ocn162577922
037 $a 129896:130146 $b Elsevier Science & Technology $n http://www.sciencedirect.com
040 $a OPELS $c OPELS
049 $a TEFA
050 1 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 $h [electronic resource] / $c edited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek.
260 $a Amsterdam ; $a New York : $c 1998. $b Elsevier,
300 $a 2 v. (xlvi, 1372 p.) : $b ill. ; $c 24 cm.
440 0 $a Studies in logic and the foundations of mathematics ; $v v. 138-139
504 $a Includes bibliographical references.
505 0 $a v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics.
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).
533 $a Electronic reproduction. $b Amsterdam : $c Elsevier Science & Technology, $d 2007. $n Mode of access: World Wide Web. $n System requirements: Web browser. $n Title from title screen (viewed on Aug. 2, 2007). $n Access may be restricted to users at subscribing institutions.
650 0 $a Recursion theory. $3 646228
650 6 $a Recursivit�e, Th�eorie de la. $3 1068487
655 7 $a Electronic books. $2 lcsh $3 542853
700 1 $a Ershov, �I�Uri�i Leonidovich. $3 1068486
710 2 $a ScienceDirect (Online service) $3 848416
856 4 0 $3 ScienceDirect $u http://www.sciencedirect.com/science/publication?issn=0049237X&volume=138 $z An electronic book accessible through the World Wide Web; click for information
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/enhancements/fy0602/98048059-t.html
994 $a C0 $b TEF