語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Computability and logic /
~
Jeffrey, Richard C.
Computability and logic /
紀錄類型:
書目-語言資料,印刷品 : 單行本
正題名/作者:
Computability and logic // George S. Boolos, Richard C. Jeffrey.
作者:
Boolos, George.
其他作者:
Jeffrey, Richard C.
出版者:
Cambridge ;Cambridge University Press, : 1989,
面頁冊數:
x, 304 p. :ill. ; : 24 cm.;
標題:
Logic, Symbolic and mathematical. -
電子資源:
http://www.loc.gov/catdir/description/cam023/89032584.html
ISBN:
052138026X
Computability and logic /
Boolos, George.
Computability and logic /
George S. Boolos, Richard C. Jeffrey. - 3rd ed. - Cambridge ;Cambridge University Press,1989 - x, 304 p. :ill. ;24 cm.
Includes bibliographical references and index.
ISBN: 052138026X
LCCN: 89032584 Subjects--Topical Terms:
93197
Logic, Symbolic and mathematical.
LC Class. No.: QA9.59 / .B66 1989
Dewey Class. No.: 511.3
Computability and logic /
LDR
:00824cam0 22002411 450L
001
60772
003
DLC
005
2005030984520.0
008
09051510s1989 enka b 001 0 eng
010
$a
89032584
019
$a
978 8903254 7
020
$a
052138026X
020
$a
0521389232 (pbk.) :
$c
新台幣1228
035
$a
1062224
040
$a
DLC
$c
DLC
$d
DLC
050
0 0
$a
QA9.59
$b
.B66 1989
082
0 0
$a
511.3
$2
20
100
$a
Boolos, George.
$3
96018
245
1 0
$a
Computability and logic /
$c
George S. Boolos, Richard C. Jeffrey.
250
$a
3rd ed.
260
$a
Cambridge ;
$a
New York :
$c
1989
$b
Cambridge University Press,
300
$a
x, 304 p. :
$b
ill. ;
$c
24 cm.
504
$a
Includes bibliographical references and index.
650
$a
Logic, Symbolic and mathematical.
$3
93197
650
$a
Recursive functions.
$3
96020
650
$a
Computable functions.
$3
96019
700
$a
Jeffrey, Richard C.
$3
96017
856
4 2
$3
Publisher description
$u
http://www.loc.gov/catdir/description/cam023/89032584.html
856
4 1
$3
Table of contents
$u
http://www.loc.gov/catdir/toc/cam025/89032584.html
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入