Search Results for MANTIK. - Narrowed by: ANLAMB&#304;L&#304;M (FELSEFE). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dSUBJECT$002509Subject$002509ANLAMB$0025C4$0025B0L$0025C4$0025B0M$002b$002528FELSEFE$002529.$002509ANLAMB$0025C4$0025B0L$0025C4$0025B0M$002b$002528FELSEFE$002529.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2024-11-28T05:24:07Z Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G&ouml;del ent://SD_ILS/0/SD_ILS:773 2024-11-28T05:24:07Z 2024-11-28T05:24:07Z Author&#160;Mostowski, Andrzej<br/>Preferred Shelf Number&#160;BC 135 M6 1952<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Meaning and inference in medieval philosophy : studies in memory of Jan Pinborg ent://SD_ILS/0/SD_ILS:95479 2024-11-28T05:24:07Z 2024-11-28T05:24:07Z Author&#160;Pinborg, Jan.&#160;Kretzmann, Norman, ed.<br/>Preferred Shelf Number&#160;BC 34 M43 1988<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The Logical systems of Lesniewski ent://SD_ILS/0/SD_ILS:482 2024-11-28T05:24:07Z 2024-11-28T05:24:07Z Author&#160;Luschei, Eugene C.<br/>Preferred Shelf Number&#160;B 4691.L44 L8 1962<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Meaning and necessity : a study in semantics and model logic ent://SD_ILS/0/SD_ILS:22 2024-11-28T05:24:07Z 2024-11-28T05:24:07Z Author&#160;Carnap, Rudolf, 1891-<br/>Preferred Shelf Number&#160;B 840 C3 1956<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>