Search Results for -- AMER&#304;KAN EDEB&#304;YATI -- 20. Y&Uuml;ZYIL -- TAR&#304;H&Ccedil;E VE ELE&#350;T&#304;RME. - Narrowed by: 1965 - MANTIK, SEMBOL&#304;K VE MATEMAT&#304;K&#304;. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bAMER$0025C4$0025B0KAN$002bEDEB$0025C4$0025B0YATI$002b--$002b20.$002bY$0025C3$00259CZYIL$002b--$002bTAR$0025C4$0025B0H$0025C3$002587E$002bVE$002bELE$0025C5$00259ET$0025C4$0025B0RME.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091965$0025091965$0026qf$003dSUBJECT$002509Subject$002509MANTIK$00252C$002bSEMBOL$0025C4$0025B0K$002bVE$002bMATEMAT$0025C4$0025B0K$0025C4$0025B0.$002509MANTIK$00252C$002bSEMBOL$0025C4$0025B0K$002bVE$002bMATEMAT$0025C4$0025B0K$0025C4$0025B0.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-10T03:07:59Z Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G&ouml;del ent://SD_ILS/0/SD_ILS:773 2024-09-10T03:07:59Z 2024-09-10T03:07:59Z Author&#160;Mostowski, Andrzej<br/>Preferred Shelf Number&#160;BC 135 M6 1952<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematische Gesetze der Logik ent://SD_ILS/0/SD_ILS:778 2024-09-10T03:07:59Z 2024-09-10T03:07:59Z Author&#160;Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number&#160;BC 135 S343 1959-<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Formal systems and recursive functions : proceeding ent://SD_ILS/0/SD_ILS:768 2024-09-10T03:07:59Z 2024-09-10T03:07:59Z Author&#160;Logic Colloquium (8th : 1963 : Oxford).<br/>Preferred Shelf Number&#160;BC 135 L8292 1965<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A transfinite type with type variables ent://SD_ILS/0/SD_ILS:46035 2024-09-10T03:07:59Z 2024-09-10T03:07:59Z Author&#160;Andrews, Peter B.<br/>Preferred Shelf Number&#160;QA 9 A64 1965<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A theory of sets ent://SD_ILS/0/SD_ILS:55505 2024-09-10T03:07:59Z 2024-09-10T03:07:59Z Author&#160;Morse, Anthony Perry.<br/>Preferred Shelf Number&#160;QA 248 M67 1965<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Introductory real analysis ent://SD_ILS/0/SD_ILS:72597 2024-09-10T03:07:59Z 2024-09-10T03:07:59Z Author&#160;Munroe, Marshall Evans,d1918-<br/>Preferred Shelf Number&#160;QA 300 M9268 1965<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>