Search Results for MANTIK, SEMBOLİK VE MATEMATİKİ. - Narrowed by: 2003
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$0025092003$0025092003$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list
2024-12-28T16:17:22Z
Solvable cases of decision problem
ent://SD_ILS/0/SD_ILS:752
2024-12-28T16:17:22Z
2024-12-28T16:17:22Z
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-12-28T16:17:22Z
2024-12-28T16:17:22Z
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-12-28T16:17:22Z
2024-12-28T16:17:22Z
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-12-28T16:17:22Z
2024-12-28T16:17:22Z
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-12-28T16:17:22Z
2024-12-28T16:17:22Z
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-12-28T16:17:22Z
2024-12-28T16:17:22Z
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-12-28T16:17:22Z
2024-12-28T16:17:22Z
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/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2024-12-28T16:17:22Z
2024-12-28T16:17:22Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-12-28T16:17:22Z
2024-12-28T16:17:22Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2024-12-28T16:17:22Z
2024-12-28T16:17:22Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2024-12-28T16:17:22Z
2024-12-28T16:17:22Z
Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2024-12-28T16:17:22Z
2024-12-28T16:17:22Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2024-12-28T16:17:22Z
2024-12-28T16:17:22Z
Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>