Search Results for MANTIK, SEMBOLİK VE MATEMATİKİ. - Narrowed by: 1965SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK$00252C$002bSEMBOL$0025C4$0025B0K$002bVE$002bMATEMAT$0025C4$0025B0K$0025C4$0025B0.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091965$0025091965$0026ps$003d300?2024-10-24T05:22:33ZSentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:7732024-10-24T05:22:33Z2024-10-24T05:22:33ZAuthor Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematische Gesetze der Logikent://SD_ILS/0/SD_ILS:7782024-10-24T05:22:33Z2024-10-24T05:22:33ZAuthor Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introductory real analysisent://SD_ILS/0/SD_ILS:725972024-10-24T05:22:33Z2024-10-24T05:22:33ZAuthor Munroe, Marshall Evans,d1918-<br/>Preferred Shelf Number QA 300 M9268 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Formal systems and recursive functions : proceedingent://SD_ILS/0/SD_ILS:7682024-10-24T05:22:33Z2024-10-24T05:22:33ZAuthor Logic Colloquium (8th : 1963 : Oxford).<br/>Preferred Shelf Number BC 135 L8292 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A transfinite type with type variablesent://SD_ILS/0/SD_ILS:460352024-10-24T05:22:33Z2024-10-24T05:22:33ZAuthor Andrews, Peter B.<br/>Preferred Shelf Number QA 9 A64 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A theory of setsent://SD_ILS/0/SD_ILS:555052024-10-24T05:22:33Z2024-10-24T05:22:33ZAuthor Morse, Anthony Perry.<br/>Preferred Shelf Number QA 248 M67 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>