Arama Sonuçları MODEL KURAMI.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMODEL$002bKURAMI.$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list2024-10-21T01:44:05ZAlgebraic model theoryent://SD_ILS/0/SD_ILS:235762024-10-21T01:44:05Z2024-10-21T01:44:05ZYazar Hart, Bradd T., ed. Lachlan, Alistair H., ed. Valeriote, Matthew A., ed.<br/>Yer Numarası QA 9.7 A43 1997<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Model theory for model logic : kripke models for modal predicate calculient://SD_ILS/0/SD_ILS:460582024-10-21T01:44:05Z2024-10-21T01:44:05ZYazar Bowen, Kenneth A.<br/>Yer Numarası QA 9.46 B68 1979<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Model theory and its applicationsent://SD_ILS/0/SD_ILS:460462024-10-21T01:44:05Z2024-10-21T01:44:05ZYazar Kopperman, Ralph.<br/>Yer Numarası QA 9 K6778 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>