Search Results for MANTIK, SEMBOL&#304;K VE MATEMAT&#304;K&#304;. - Narrowed by: 1967 SirsiDynix Enterprise https://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$0025091967$0025091967$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list 2024-12-28T15:54:45Z First-order functional calculus ent://SD_ILS/0/SD_ILS:765 2024-12-28T15:54:45Z 2024-12-28T15:54:45Z Author&#160;Keene, Geoffrey Bourton.<br/>Preferred Shelf Number&#160;BC 135 K4 1966<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G&ouml;del ent://SD_ILS/0/SD_ILS:773 2024-12-28T15:54:45Z 2024-12-28T15:54:45Z 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-12-28T15:54:45Z 2024-12-28T15:54:45Z 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/> Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxioms ent://SD_ILS/0/SD_ILS:73021 2024-12-28T15:54:45Z 2024-12-28T15:54:45Z Author&#160;Jensen, Ronald Bj&ouml;rn.&#160;Leven, Franz Josef.<br/>Preferred Shelf Number&#160;QA 248 J453 1967<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> An Introduction to many-valued logic ent://SD_ILS/0/SD_ILS:46034 2024-12-28T15:54:45Z 2024-12-28T15:54:45Z Author&#160;Ackermann, Robert John, 1933-<br/>Preferred Shelf Number&#160;QA 9 A5 1967<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>