Search Results for MANTIK. - Narrowed by: 1967
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091967$0025091967$0026ic$003dtrue$0026ps$003d300?dt=list
2024-11-27T23:23:28Z
Logical studies
ent://SD_ILS/0/SD_ILS:749
2024-11-27T23:23:28Z
2024-11-27T23:23:28Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 108 W7 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
First-order functional calculus
ent://SD_ILS/0/SD_ILS:765
2024-11-27T23:23:28Z
2024-11-27T23:23:28Z
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-27T23:23:28Z
2024-11-27T23:23:28Z
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-27T23:23:28Z
2024-11-27T23:23:28Z
Author Schmidt, H. Arnold, 1902_<br/>Preferred Shelf Number BC 135 S343 1959-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Organon
ent://SD_ILS/0/SD_ILS:20391
2024-11-27T23:23:28Z
2024-11-27T23:23:28Z
Author Aristotle, 384-322, M.Ö. Atademir, Hamdi Ragıp, çev.<br/>Preferred Shelf Number PA 3900.T3 O7 V.1<br/>Format: Books<br/>Availability Beytepe Library~6<br/>
Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxioms
ent://SD_ILS/0/SD_ILS:73021
2024-11-27T23:23:28Z
2024-11-27T23:23:28Z
Author Jensen, Ronald Björn. Leven, Franz Josef.<br/>Preferred Shelf Number QA 248 J453 1967<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An Introduction to many-valued logic
ent://SD_ILS/0/SD_ILS:46034
2024-11-27T23:23:28Z
2024-11-27T23:23:28Z
Author Ackermann, Robert John, 1933-<br/>Preferred Shelf Number QA 9 A5 1967<br/>Format: Books<br/>Availability Beytepe Library~1<br/>