Search Results for -- AMERİKAN EDEBİYATI -- 20. YÜZYIL -- TARİHÇE VE ELEŞTİRME. - Narrowed by: Book - Beytepe Library - 1994 - MANTIK, SEMBOLİK VE MATEMATİKİ.
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$003dITYPE$002509Material$002bType$0025091$00253AKITAP$002509Book$0026qf$003dLIBRARY$002509Library$0025091$00253ABEYTEPE$002509Beytepe$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025091994$0025091994$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?
2024-09-10T09:39:13Z
Solvable cases of decision problem
ent://SD_ILS/0/SD_ILS:752
2024-09-10T09:39:13Z
2024-09-10T09:39:13Z
Author Ackermann, Wilhelm, 1896-<br/>Preferred Shelf Number BC 135 A3 1954<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:755
2024-09-10T09:39:13Z
2024-09-10T09:39:13Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The theory of models : proc.
ent://SD_ILS/0/SD_ILS:763
2024-09-10T09:39:13Z
2024-09-10T09:39:13Z
Author International Symposium on the Theory of Models (1963 : Berkeley, Calif.) Addison, John West, 1930- ed. Henkin, Leon, ed. Tarski, Alfred, ed.<br/>Preferred Shelf Number BC 135 I586 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
First-order functional calculus
ent://SD_ILS/0/SD_ILS:765
2024-09-10T09:39:13Z
2024-09-10T09:39:13Z
Author 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ödel
ent://SD_ILS/0/SD_ILS:773
2024-09-10T09:39:13Z
2024-09-10T09:39:13Z
Author Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematische Gesetze der Logik
ent://SD_ILS/0/SD_ILS:778
2024-09-10T09:39:13Z
2024-09-10T09:39:13Z
Author Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-09-10T09:39:13Z
2024-09-10T09:39:13Z
Author Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Axiomatic theory of sets and classes
ent://SD_ILS/0/SD_ILS:55382
2024-09-10T09:39:13Z
2024-09-10T09:39:13Z
Author Eisenberg, Murray.<br/>Preferred Shelf Number QA 248 E37 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>