語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Institution-independent model theory /
~
Diaconescu, R�azvan.
Institution-independent model theory /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Institution-independent model theory // R�azvan Diaconescu.
作者:
Diaconescu, R�azvan.
出版者:
Basel ;Birkhauser, : c2008.,
面頁冊數:
xi, 376 p. :ill. ; : 24 cm.;
叢書名:
Studies in universal logic
標題:
Model theory. -
電子資源:
http://www.loc.gov/catdir/enhancements/fy0907/2008924875-t.html
電子資源:
http://www.loc.gov/catdir/enhancements/fy0907/2008924875-d.html
ISBN:
3764387076
Institution-independent model theory /
Diaconescu, R�azvan.
Institution-independent model theory /
R�azvan Diaconescu. - Basel ;Birkhauser,c2008. - xi, 376 p. :ill. ;24 cm. - Studies in universal logic.
Includes bibliographical references (p. [355]-367) and index.
Introduction -- Categories -- Institutions -- Theories and models -- Internal logic -- Model ultrapoducts -- Saturated models -- Preservation and axiomatizability -- Interpolation -- Definability -- Possible worlds -- Grothendieck institutions -- Institutions with proofs -- Specification -- Logic programming.
ISBN: 3764387076
LCCN: 2008924875Subjects--Topical Terms:
633609
Model theory.
LC Class. No.: QA9.7 / .D53 2008
Dewey Class. No.: 511.3/4
Institution-independent model theory /
LDR
:01434cam 22002777a 4500
001
609001
005
20090403071408.0
008
090917s2008 sz a b 001 0 eng d
010
$a
2008924875
020
$a
3764387076
020
$a
9783764387075
035
$a
(OCoLC)ocn191759987
040
$a
YDXCP
$c
YDXCP
$d
BAKER
$d
BWX
$d
DLC
$d
NFU
$d
OCLCQ
$d
OHX
042
$a
lccopycat
050
0 0
$a
QA9.7
$b
.D53 2008
082
0 0
$2
22
$a
511.3/4
100
1
$a
Diaconescu, R�azvan.
$3
633608
245
1 0
$a
Institution-independent model theory /
$c
R�azvan Diaconescu.
260
$a
Basel ;
$a
Boston :
$c
c2008.
$b
Birkhauser,
300
$a
xi, 376 p. :
$b
ill. ;
$c
24 cm.
440
0
$a
Studies in universal logic
504
$a
Includes bibliographical references (p. [355]-367) and index.
505
0
$a
Introduction -- Categories -- Institutions -- Theories and models -- Internal logic -- Model ultrapoducts -- Saturated models -- Preservation and axiomatizability -- Interpolation -- Definability -- Possible worlds -- Grothendieck institutions -- Institutions with proofs -- Specification -- Logic programming.
650
0
$a
Model theory.
$3
633609
650
0
$a
Logic, Symbolic and mathematical.
$3
527823
856
4 1
$3
Table of contents only
$u
http://www.loc.gov/catdir/enhancements/fy0907/2008924875-t.html
856
4 2
$3
Publisher description
$u
http://www.loc.gov/catdir/enhancements/fy0907/2008924875-d.html
906
$a
7
$b
cbc
$c
copycat
$d
2
$e
epcn
$f
20
$g
y-gencatlg
925
0
$a
acquire
$b
2 shelf copies
$x
policy default
955
$a
jp43 2008-08-22 z-processor
$a
pc21 2008-03-13
$a
rd11 2009-02-03
$e
jp43 2008-08-22
$i
jp43 2008-08-22 to Dewey
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E030465
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
511.34 D536 2008
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入