Search Results for Model theory. - Narrowed by: 1979 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dModel$002btheory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091979$0025091979$0026ic$003dtrue$0026ps$003d300?dt=list 2026-01-14T11:46:12Z Model theory for model logic : kripke models for modal predicate calculi ent://SD_ILS/0/SD_ILS:46058 2026-01-14T11:46:12Z 2026-01-14T11:46:12Z Author&#160;Bowen, Kenneth A.<br/>Preferred Shelf Number&#160;QA 9.46 B68 1979<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>