Search Results for Arithmetic -- Foundations.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArithmetic$002b--$002bFoundations.$0026te$003dILS$0026ps$003d300?2024-11-07T06:54:13ZDavid Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933ent://SD_ILS/0/SD_ILS:3368502024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336850.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophiesent://SD_ILS/0/SD_ILS:2379382024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Kennedy, Juliette. Kossak, Roman.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511910616">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the foundations of geometry and formal theories of arithmeticent://SD_ILS/0/SD_ILS:3922024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Frege, Gottlob, 1848-1925.<br/>Preferred Shelf Number B 3245.F2 O8 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Naive set theory,ent://SD_ILS/0/SD_ILS:3125192024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Halmos, Paul R. (Paul Richard), 1916-2006.<br/>Preferred Shelf Number QA248 H26 1974<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Arithmâetique gâenâerale; mathâematiques âelâementaires, classes prâeparatoires aux grandes âecoles et propâedeutiques,ent://SD_ILS/0/SD_ILS:1038992024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Doneddu, Alfred.<br/>Preferred Shelf Number QA 248 D57 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Number systems; an intuitive approachent://SD_ILS/0/SD_ILS:1038882024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Hutton, Rex L.<br/>Preferred Shelf Number QA 248 H84 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory of arithmeticent://SD_ILS/0/SD_ILS:1039532024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Peterson, John A. Hashisaki, Joseph, ort. yaz.<br/>Preferred Shelf Number QA 248.3 P45 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical systems : finite and infinite.ent://SD_ILS/0/SD_ILS:1039522024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Hackworth, Robert D.<br/>Preferred Shelf Number QA 248.3 H3 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Number systems; an elementary approachent://SD_ILS/0/SD_ILS:1022422024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Byrne, J. Richard<br/>Preferred Shelf Number QA 248.3 B9 1967<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A first look at modern mathematicsent://SD_ILS/0/SD_ILS:1048532024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Eicholz, Robert E. O'Daffer, Phares G., ort. yaz.<br/>Preferred Shelf Number QA 248.3 E35 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ordinal algebrasent://SD_ILS/0/SD_ILS:2572072024-11-07T06:54:13Z2024-11-07T06:54:13ZAuthor Tarski, Alfred.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533845">http://www.sciencedirect.com/science/book/9780444533845</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>