醒吾科技大學圖書館 |

[NT 42591] Language: Francais

[NT 5480] Login

[NT 5635] Back

[NT 59884] Switch To: [NT 5556] Labeled | [NT 5559] MARC Mode | [NT 33762] ISBD

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

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47348] Title Information:	Kripke models for modal predicate calculi
[NT 47261] Author:	BowenKenneth A,
[NT 47351] Place of Publication:	Boston
[NT 47263] Published:	D. Reidel Pub. Co.;
[NT 47352] Year of Publication:	c1979
[NT 47264] Description:	x, , 127 p.23 cm;
[NT 47298] Series:	Synthese library ; v. 127
[NT 47266] Subject:	Modality (Logic) -
[NT 47266] Subject:	Predicate calculus -
[NT 47266] Subject:	Model theory -
[NT 47265] Notes:	Includes indexes
[NT 50961] 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

[NT 59758] based on 0 [NT 59757] review(s)

[NT 42818] Items

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 5501718] Search Note

[NT 5000115] Inventory Number

[NT 7898] Location Name

[NT 7947] Item Class

[NT 33989] Material type

[NT 43385] Call number

[NT 5501238] Usage Class

[NT 45600] Loan Status

[NT 48088] No. of reservations

[NT 52971] Opac note

[NT 46641] Attachments

[NT 5502] Print

00223379

4樓西文圖書區

一般圖書

一般圖書

511.3 B786

一般使用(Normal)

[NT 41737] On shelf

0

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 59725] Reviews

[NT 59886] Add a review [NT 59885] and share your thoughts with other readers

Export

[NT 5501410] pickup library

[NT 48336] Change password

[NT 5480] Login