Search Results for MODEL KURAMI.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMODEL$002bKURAMI.$0026pe$003dd$00253A$0026ps$003d300?2024-11-10T20:47:13ZAlgebraic model theoryent://SD_ILS/0/SD_ILS:235762024-11-10T20:47:13Z2024-11-10T20:47:13ZAuthor Hart, Bradd T., ed. Lachlan, Alistair H., ed. Valeriote, Matthew A., ed.<br/>Preferred Shelf Number QA 9.7 A43 1997<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Model theory for model logic : kripke models for modal predicate calculient://SD_ILS/0/SD_ILS:460582024-11-10T20:47:13Z2024-11-10T20:47:13ZAuthor Bowen, Kenneth A.<br/>Preferred Shelf Number QA 9.46 B68 1979<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Model theory and its applicationsent://SD_ILS/0/SD_ILS:460462024-11-10T20:47:13Z2024-11-10T20:47:13ZAuthor Kopperman, Ralph.<br/>Preferred Shelf Number QA 9 K6778 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>