Search Results for MANTIK, SEMBOLİK VE MATEMATİKİ. - Narrowed by: 1970
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$0025091970$0025091970$0026ps$003d300?dt=list
2024-11-27T11:17:24Z
Solvable cases of decision problem
ent://SD_ILS/0/SD_ILS:752
2024-11-27T11:17:24Z
2024-11-27T11:17:24Z
Author Ackermann, Wilhelm, 1896-<br/>Preferred Shelf Number BC 135 A3 1954<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The theory of models : proc.
ent://SD_ILS/0/SD_ILS:763
2024-11-27T11:17:24Z
2024-11-27T11:17:24Z
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-11-27T11:17:24Z
2024-11-27T11:17:24Z
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-11-27T11:17:24Z
2024-11-27T11:17:24Z
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-11-27T11:17:24Z
2024-11-27T11:17:24Z
Author Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Term logic with choice operator
ent://SD_ILS/0/SD_ILS:761
2024-11-27T11:17:24Z
2024-11-27T11:17:24Z
Author Hermes, Hans.<br/>Preferred Shelf Number BC 135 H4 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Understanding symbolic logic
ent://SD_ILS/0/SD_ILS:770
2024-11-27T11:17:24Z
2024-11-27T11:17:24Z
Author Massey, Gerald J.<br/>Preferred Shelf Number BC 135 M35 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Fundamental concepts of modern mathematics
ent://SD_ILS/0/SD_ILS:73050
2024-11-27T11:17:24Z
2024-11-27T11:17:24Z
Author Larsen, Max D.<br/>Preferred Shelf Number QA 248 L26 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A profile of mathematical logic
ent://SD_ILS/0/SD_ILS:46037
2024-11-27T11:17:24Z
2024-11-27T11:17:24Z
Author DeLong, Howard, 1936-<br/>Preferred Shelf Number QA 9 B37 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>