Model theory for model logic : kripke models for modal predicate calculi
by
 
Bowen, Kenneth A.

Title
Model theory for model logic : kripke models for modal predicate calculi

Author
Bowen, Kenneth A.

ISBN
9789027709790

Publication Information
Dordrecht : D. Reidel, 1979.

Physical Description
x, 127 s.

Series
Synthese Library ; v. 127

Series Title
Synthese Library ; v. 127

Subject Term
BİÇİMCİLİK (MANTIK).
 
MODEL KURAMI.
 
NİTELEYİCİ HESAP.


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Beytepe LibraryBook7.2/12/574012QA 9.46 B68 1979Beytepe Genel Koleksiyon