Search Results for MANTIK. - Narrowed by: 1965
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMANTIK.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091965$0025091965$0026pe$003dd$00253A$0026ps$003d300?
2024-11-10T12:23:53Z
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
ent://SD_ILS/0/SD_ILS:773
2024-11-10T12:23:53Z
2024-11-10T12:23:53Z
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-10T12:23:53Z
2024-11-10T12:23:53Z
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-10T12:23:53Z
2024-11-10T12:23:53Z
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/>
Methods of logic
ent://SD_ILS/0/SD_ILS:801
2024-11-10T12:23:53Z
2024-11-10T12:23:53Z
Author Quine, Willard Van Orman.<br/>Preferred Shelf Number BC 50 Q8 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introductory real analysis
ent://SD_ILS/0/SD_ILS:72597
2024-11-10T12:23:53Z
2024-11-10T12:23:53Z
Author Munroe, Marshall Evans,d1918-<br/>Preferred Shelf Number QA 300 M9268 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A theory of sets
ent://SD_ILS/0/SD_ILS:55505
2024-11-10T12:23:53Z
2024-11-10T12:23:53Z
Author Morse, Anthony Perry.<br/>Preferred Shelf Number QA 248 M67 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A transfinite type with type variables
ent://SD_ILS/0/SD_ILS:46035
2024-11-10T12:23:53Z
2024-11-10T12:23:53Z
Author Andrews, Peter B.<br/>Preferred Shelf Number QA 9 A64 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Formal systems and recursive functions : proceeding
ent://SD_ILS/0/SD_ILS:768
2024-11-10T12:23:53Z
2024-11-10T12:23:53Z
Author Logic Colloquium (8th : 1963 : Oxford).<br/>Preferred Shelf Number BC 135 L8292 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>