Arama Sonuçları MODEL KURAMI.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMODEL$002bKURAMI.$0026te$003dILS$0026ps$003d300?dt=list2026-03-22T18:30:08ZAlgebraic model theoryent://SD_ILS/0/SD_ILS:235762026-03-22T18:30:08Z2026-03-22T18:30:08ZYazar 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:460582026-03-22T18:30:08Z2026-03-22T18:30:08ZYazar 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:460462026-03-22T18:30:08Z2026-03-22T18:30:08ZYazar Kopperman, Ralph.<br/>Yer Numarası QA 9 K6778 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>