Search Results for Arithmetic - Narrowed by: 1952 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArithmetic$0026qf$003dPUBDATE$002509Publication$002bDate$0025091952$0025091952$0026ic$003dtrue$0026ps$003d300? 2025-12-13T13:38:17Z Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G&ouml;del ent://SD_ILS/0/SD_ILS:773 2025-12-13T13:38:17Z 2025-12-13T13:38:17Z Author&#160;Mostowski, Andrzej<br/>Preferred Shelf Number&#160;BC 135 M6 1952<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt G&ouml;del ent://SD_ILS/0/SD_ILS:257274 2025-12-13T13:38:17Z 2025-12-13T13:38:17Z Author&#160;Mostowski, Andrzej.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533753">http://www.sciencedirect.com/science/book/9780444533753</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The thirteen books of Euclid's elements. tr. by Sir Thomas Heath . The works of Archimedes: including the method. tr. by Sir Thomas L. Heath. On conic sections. by Apollonius of Perga. tr. by R.Catesby Taliaferro. Introduction to arithmetic. by Nichomachus of Geresa. tr. by Martin L. D'Ooge. ent://SD_ILS/0/SD_ILS:58 2025-12-13T13:38:17Z 2025-12-13T13:38:17Z Author&#160;Euclides.<br/>Preferred Shelf Number&#160;AC 1 G72 1952 C.11<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>