語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
The lambda calculus : = its syntax a...
~
Barendregt, H. P. ((Hendrik Pieter).)
The lambda calculus : = its syntax and semantics /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
The lambda calculus :/ Henk P. Barendregt.
其他題名:
its syntax and semantics /
作者:
Barendregt, H. P.
出版者:
London :King's College , : 2012.,
面頁冊數:
xv, 621 p. :ill. ; : 23 cm.;
標題:
Lambda calculus. -
ISBN:
9781848900660 (pbk.) :
The lambda calculus : = its syntax and semantics /
Barendregt, H. P.(Hendrik Pieter).
The lambda calculus :
its syntax and semantics /Henk P. Barendregt. - London :King's College ,2012. - xv, 621 p. :ill. ;23 cm. - Studies in logic ;v. 40.. - Studies in logic ;v. 35..
Includes bibliographical references and indexes.
ISBN: 9781848900660 (pbk.) :NT840Subjects--Topical Terms:
673621
Lambda calculus.
LC Class. No.: QA9.5 / .B367 2012
Dewey Class. No.: 511.3
The lambda calculus : = its syntax and semantics /
LDR
:00522cam a2200157 a 4500
001
762674
008
131213s2012 enka b 001 0 eng
020
$a
9781848900660 (pbk.) :
$c
NT840
035
$a
019393069
040
$a
UkOxU
$b
eng
$c
UkOxU
$c
NFU
050
# 4
$a
QA9.5
$b
.B367 2012
082
0 4
$a
511.3
$2
22
100
1
$a
Barendregt, H. P.
$c
(Hendrik Pieter).
$3
943011
245
1 4
$a
The lambda calculus :
$b
its syntax and semantics /
$c
Henk P. Barendregt.
260
#
$a
London :
$c
2012.
$b
King's College ,
300
$a
xv, 621 p. :
$b
ill. ;
$c
23 cm.
490
0
$a
Studies in logic ;
$v
v. 40.
504
$a
Includes bibliographical references and indexes.
650
# 0
$a
Lambda calculus.
$3
673621
830
0
$a
Studies in logic ;
$v
v. 35.
$3
833011
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E039752
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
511.3 B248 2012
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入