語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Handbook of recursive mathematics
~
Ershov, �I�Uri�i Leonidovich.
Handbook of recursive mathematics
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Handbook of recursive mathematicsedited 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 ;
標題:
Recursion theory.
電子資源:
An electronic book accessible through the World Wide Web; click for information
電子資源:
http://www.loc.gov/catdir/enhancements/fy0602/98048059-t.html
ISBN:
9780444500038
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.
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).
Electronic reproduction.
Amsterdam :
Elsevier Science & Technology,
2007.
Mode of access: World Wide Web.
ISBN: 9780444500038
Source: 129896:130146Elsevier Science & Technologyhttp://www.sciencedirect.comSubjects--Topical Terms:
268912
Recursion theory.
Index Terms--Genre/Form:
214472
Electronic books.
LC Class. No.: QA9.6 / .H36 1998eb
Dewey Class. No.: 511.3/5
Handbook of recursive mathematics
LDR
:02652cmm 2200361Ia 4500
001
256940
003
OCoLC
005
20100729101520.0
006
m d
007
cr cn|||||||||
008
100818s1998 ne a ob 000 0 eng d
020
$a
9780444500038
020
$a
0444500030
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 :
$b
Elsevier,
$c
1998.
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
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).
505
0
$a
v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics.
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
268912
650
6
$a
Recursivit�e, Th�eorie de la.
$3
454708
655
7
$a
Electronic books.
$2
local.
$3
214472
700
1
$a
Ershov, �I�Uri�i Leonidovich.
$3
454707
710
2
$a
ScienceDirect (Online service)
$3
307425
776
1
$c
Original
$z
044450107X
$z
9780444501073
$z
0444500030
$z
9780444500038
$z
0444501061
$z
9780444501066
$w
(DLC) 98048059
$w
(OCoLC)40163525
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
筆 0 讀者評論
全部
電子館藏
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
000000040038
電子館藏
1圖書
電子書
EB QA9.6 .H36 1998eb 1998
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
多媒體檔案
http://www.sciencedirect.com/science/publication?issn=0049237X&volume=138
http://www.loc.gov/catdir/enhancements/fy0602/98048059-t.html
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入