醒吾科技大學圖書館 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Model theory for modal logic : Kripke models for modal predicate calculi

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	Kripke models for modal predicate calculi
作者:	BowenKenneth A,
出版地:	Boston
出版者:	D. Reidel Pub. Co.;
出版年:	c1979
面頁冊數:	x, , 127 p.23 cm;
集叢名:	Synthese library ; v. 127
標題:	Modality (Logic) -
標題:	Predicate calculus -
標題:	Model theory -
附註:	Includes indexes
ISBN:	90-277-0929-7

Model theory for modal logic : Kripke models for modal predicate calculi
Bowen, Kenneth A

Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen - Boston : D. Reidel Pub. Co., c1979. - x, , 127 p. ; 23 cm. - (Synthese library ; v. 127).
Includes indexes.
Bibliography: p. 119-122.
ISBN 90-277-0929-7
Modality (Logic)Predicate calculusModel theory

Model theory for modal logic : Kripke models for modal predicate calculi
LDR:00779nam0 2200253 i 450 001 148543
005 20120618215344.0
010 0 $a 90-277-0929-7
020 $a us $b 78013182
100 $a 20071203d1979 y0engy01 b
101 0 $a eng
102 $a nl
105 $a y a 001yy
200 1 $a Model theory for modal logic $e Kripke models for modal predicate calculi $f Kenneth A. Bowen
210 $a Boston $a Dordrecht, Holland $d c1979 $c D. Reidel Pub. Co.
215 1 $a x, , 127 p. $d 23 cm
225 2 $a Synthese library ; v. 127
300 $a Includes indexes
320 $a Bibliography: p. 119-122
410 0 $1 2001 $a Synthese library ; v. 127
517 1 $a Kripke models for modal predicate calculi $z eng
606 $a Modality (Logic) $3 134946
606 $a Predicate calculus $3 135034
606 $a Model theory $3 135035
676 $a 511/.3
676 $a 511.3 $b B786
700 $a Bowen $b Kenneth A $3 135033
801 0 $a twbBSF $c 20070208 $g CCR
801 1 $a tw $b 醒吾 $c 20070208

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

尋書單

典藏地名稱

館藏流通類別

00223379

4樓西文圖書區

一般圖書

一般圖書

511.3 B786

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入