語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Rudiments of [mu]-calculus
~
Niwiński, Damian.
Rudiments of [mu]-calculus
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Rudiments of [mu]-calculus/ A. Arnold, D. Niwiński.
作者:
Arnold, A.
其他作者:
Niwiński, Damian.
出版者:
Amsterdam ;Elsevier, : 2001.,
面頁冊數:
xvii, 277 p. :ill. ; : 24 cm.;
標題:
Algebraic logic. -
電子資源:
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:
9780444506207 (electronic bk.)
Rudiments of [mu]-calculus
Arnold, A.1945-
Rudiments of [mu]-calculus
[electronic resource] /A. Arnold, D. Niwiński. - 1st ed. - Amsterdam ;Elsevier,2001. - xvii, 277 p. :ill. ;24 cm. - Studies in logic and the foundations of mathematics ;v. 146.
Includes bibliographical references (p. [269]-273) and index.
ISBN: 9780444506207 (electronic bk.) Subjects--Topical Terms:
633629
Algebraic logic.
LC Class. No.: QA10 / .A76 2001
Dewey Class. No.: 511.3
Rudiments of [mu]-calculus
LDR
:00862nam a2200217 a 4500
001
809570
005
20130419111110.0
008
150720s2001 ne a sb 001 0 eng d
020
$a
9780444506207 (electronic bk.)
020
$a
9780444506207
035
$a
13003435
040
$a
OUN
$c
OUN
$d
OHX
$d
UKM
$d
WaOLN
041
0
$a
eng
050
4
$a
QA10
$b
.A76 2001
082
0 4
$a
511.3
$2
21
100
1
$a
Arnold, A.
$q
(André),
$d
1945-
$3
908003
245
1 0
$a
Rudiments of [mu]-calculus
$h
[electronic resource] /
$c
A. Arnold, D. Niwiński.
250
$a
1st ed.
260
$a
Amsterdam ;
$a
New York :
$b
Elsevier,
$c
2001.
300
$a
xvii, 277 p. :
$b
ill. ;
$c
24 cm.
490
0
$a
Studies in logic and the foundations of mathematics ;
$v
v. 146
504
$a
Includes bibliographical references (p. [269]-273) and index.
650
0
$a
Algebraic logic.
$3
633629
650
0
$a
Monotonic functions.
$3
672093
650
0
$a
Fixed point theory.
$3
528441
650
0
$a
Lattice theory.
$3
633630
650
0
$a
Machine theory.
$3
527775
700
1
$a
Niwiński, Damian.
$3
908004
856
4 0
$u
http://www.sciencedirect.com/science/book/9780444506207
$z
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入