Arama Sonuçlarını Sınırlandır
Yazar
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
1. 
Predicate calculus and program semantics için kapak resmi
Predicate calculus and program semantics
Yazar 
Dijkstra, Edsger Wybe. Scholten, C. S., ort. yaz.
Yer Numarası 
QA 9.35 D55 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Model theory for model logic : kripke models for modal predicate calculi için kapak resmi
Model theory for model logic : kripke models for modal predicate calculi
Yazar 
Bowen, Kenneth A.
Yer Numarası 
QA 9.46 B68 1979
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya: