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

Başlık
: 
Model theory for model logic : kripke models for modal predicate calculi

Yazar
: 
Bowen, Kenneth A.

ISBN
: 
9789027709790

Yayın Bilgileri
: 
Dordrecht : D. Reidel, 1979.

Fiziksel Tanımlama
: 
x, 127 s.

Seri
: 
Synthese Library ; v. 127

Seri Başlığı
: 
Synthese Library ; v. 127

Konu Terimleri
: 
BİÇİMCİLİK (MANTIK).
 
MODEL KURAMI.
 
NİTELEYİCİ HESAP.


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Beytepe KütüphanesiKitap7.2/12/574012QA 9.46 B68 1979Beytepe Genel Koleksiyon