Search Results for - Narrowed by: Beytepe General Collection - 1966 - MANTIK, SEMBOLİK VE MATEMATİKİ.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ABEYTEPEGEN$002509Beytepe$002bGeneral$002bCollection$0026qf$003dPUBDATE$002509Publication$002bDate$0025091966$0025091966$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$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300?2024-09-09T14:47:20ZFirst-order functional calculusent://SD_ILS/0/SD_ILS:7652024-09-09T14:47:20Z2024-09-09T14:47:20ZAuthor Keene, Geoffrey Bourton.<br/>Preferred Shelf Number BC 135 K4 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:7732024-09-09T14:47:20Z2024-09-09T14:47:20ZAuthor 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-09-09T14:47:20Z2024-09-09T14:47:20ZAuthor Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Essays on Wittgenstein's Tractatusent://SD_ILS/0/SD_ILS:7572024-09-09T14:47:20Z2024-09-09T14:47:20ZAuthor Copi, Irving M. Beard, Robert W., ed.<br/>Preferred Shelf Number BC 135 C6 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Intuitionism : an introductionent://SD_ILS/0/SD_ILS:7622024-09-09T14:47:20Z2024-09-09T14:47:20ZAuthor Heyting, Arend, 1898-<br/>Preferred Shelf Number BC 135 H48 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Techniques of deductive inferenceent://SD_ILS/0/SD_ILS:7662024-09-09T14:47:20Z2024-09-09T14:47:20ZAuthor Leblanc, Hugues, 1924-<br/>Preferred Shelf Number BC 135 L36 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic and algorithms : with applications to the computer and information sciencesent://SD_ILS/0/SD_ILS:460472024-09-09T14:47:20Z2024-09-09T14:47:20ZAuthor Korfhage, Robert R.<br/>Preferred Shelf Number QA 9 K678 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>