Search Results for B&#304;&Ccedil;&#304;MC&#304;L&#304;K (MANTIK) - Narrowed by: B&#304;&Ccedil;&#304;MC&#304;L&#304;K (MANTIK). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dB$0025C4$0025B0$0025C3$002587$0025C4$0025B0MC$0025C4$0025B0L$0025C4$0025B0K$002b$002528MANTIK$002529$0026qf$003dSUBJECT$002509Subject$002509B$0025C4$0025B0$0025C3$002587$0025C4$0025B0MC$0025C4$0025B0L$0025C4$0025B0K$002b$002528MANTIK$002529.$002509B$0025C4$0025B0$0025C3$002587$0025C4$0025B0MC$0025C4$0025B0L$0025C4$0025B0K$002b$002528MANTIK$002529.$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list 2025-01-02T19:59:50Z Model theory for model logic : kripke models for modal predicate calculi ent://SD_ILS/0/SD_ILS:46058 2025-01-02T19:59:50Z 2025-01-02T19:59:50Z 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/> Deductive logic : an introduction to evaluation techniques and logical theory ent://SD_ILS/0/SD_ILS:808 2025-01-02T19:59:50Z 2025-01-02T19:59:50Z Author&#160;Clarke, David S., 1936-<br/>Preferred Shelf Number&#160;BC 71 C53 1973<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A general interpreted modal calculus ent://SD_ILS/0/SD_ILS:793 2025-01-02T19:59:50Z 2025-01-02T19:59:50Z Author&#160;Bressan, Aldo.<br/>Preferred Shelf Number&#160;BC 199.M6 B73L 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>