Search Results for Arithmetic - Narrowed by: 1971 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArithmetic$0026qf$003dPUBDATE$002509Publication$002bDate$0025091971$0025091971$0026ps$003d300$0026isd$003dtrue? 2025-12-14T07:32:47Z Theory of arithmetic ent://SD_ILS/0/SD_ILS:103953 2025-12-14T07:32:47Z 2025-12-14T07:32:47Z Author&#160;Peterson, John A.&#160;Hashisaki, Joseph, ort. yaz.<br/>Preferred Shelf Number&#160;QA 248.3 P45 1971<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:773 2025-12-14T07:32:47Z 2025-12-14T07:32:47Z Author&#160;Mostowski, Andrzej<br/>Preferred Shelf Number&#160;BC 135 M6 1952<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> On the foundations of geometry and formal theories of arithmetic ent://SD_ILS/0/SD_ILS:392 2025-12-14T07:32:47Z 2025-12-14T07:32:47Z Author&#160;Frege, Gottlob, 1848-1925.<br/>Preferred Shelf Number&#160;B 3245.F2 O8 1971<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Number systems; an intuitive approach ent://SD_ILS/0/SD_ILS:103888 2025-12-14T07:32:47Z 2025-12-14T07:32:47Z Author&#160;Hutton, Rex L.<br/>Preferred Shelf Number&#160;QA 248 H84 1971<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>