語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
What logics mean : = from proof theo...
~
Garson, James W., (1943-)
What logics mean : = from proof theory to model-theoretic semantics /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
What logics mean :/ James W. Garson.
其他題名:
from proof theory to model-theoretic semantics /
作者:
Garson, James W.,
出版者:
Cambridge ;Cambridge University Press, : 2013.,
面頁冊數:
xv, 285 p. ;25 cm.;
標題:
Logic. -
ISBN:
9781107611962 (pbk.) :
What logics mean : = from proof theory to model-theoretic semantics /
Garson, James W.,1943-
What logics mean :
from proof theory to model-theoretic semantics /James W. Garson. - Cambridge ;Cambridge University Press,2013. - xv, 285 p. ;25 cm.
Includes bibliographical references and index.
ISBN: 9781107611962 (pbk.) :NT991
LCCN: 2013013374Subjects--Topical Terms:
558909
Logic.
LC Class. No.: BC71 / .G337 2013
Dewey Class. No.: 160
What logics mean : = from proof theory to model-theoretic semantics /
LDR
:00736cam a2200229 a 4500
001
789127
005
20140922180303.0
008
141028s2013 enk 001 0 eng
010
$a
2013013374
020
$a
9781107611962 (pbk.) :
$c
NT991
020
$a
1107611962 (pbk.)
020
$a
9781107039100 (cloth)
020
$a
110703910X (cloth)
035
$a
846911953
040
$a
DLC
$b
eng
$c
DLC
$d
BTCTA
$d
YDXCP
$d
CDX
$d
OCLCF
$d
OCLCO
$d
RIU
$d
SKYRV
041
0 #
$a
eng
042
$a
pcc
050
0 0
$a
BC71
$b
.G337 2013
082
0 0
$2
23
$a
160
100
1
$a
Garson, James W.,
$d
1943-
$3
985238
245
1 0
$a
What logics mean :
$b
from proof theory to model-theoretic semantics /
$c
James W. Garson.
260
#
$a
Cambridge ;
$a
New York :
$c
2013.
$b
Cambridge University Press,
300
$a
xv, 285 p. ;
$c
25 cm.
504
$a
Includes bibliographical references and index.
650
# 0
$a
Logic.
$3
558909
650
# 0
$a
Semantics.
$3
555362
650
# 0
$a
Logic, Symbolic and mathematical.
$3
527823
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E040643
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
160 G243 2013
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入