Search Results for Axioms. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAxioms.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-12-03T13:13:53Z Baz&#305;reg&uuml;lerlik aksiyomlar&#305; = Some regularity axioms ent://SD_ILS/0/SD_ILS:100031 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;&Ouml;zkan, Arif.<br/>Preferred Shelf Number&#160;TEZ/7226 O997 2005<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Risk survial, and power : axioms managers live ent://SD_ILS/0/SD_ILS:9493 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Mueller, Robert Kirk.<br/>Preferred Shelf Number&#160;HD 31 M75 1970<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Defending the axioms on the philosophical foundations of set theory ent://SD_ILS/0/SD_ILS:234824 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Maddy, Penelope.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199596188.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199596188.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Psychological Aspects of Social Axioms Understanding Global Belief Systems ent://SD_ILS/0/SD_ILS:164799 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Leung, Kwok. editor.&#160;Bond, Michael Harris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09810-4">http://dx.doi.org/10.1007/978-0-387-09810-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Belirtisiz topolojik uzaylarda ay&#305;rma aksiyomlar&#305; ve s&uuml;reklilikler = separation axioms and continuity in fuzzy topological spaces ent://SD_ILS/0/SD_ILS:100044 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Kaya, Neslihan.<br/>Preferred Shelf Number&#160;TEZ/7239 K233 2005<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:520864 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Lopez-Garcia, Pedro. editor.&#160;Gallagher, John P. editor.&#160;Giacobazzi, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520864.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521192 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Herzig, Andreas. editor.&#160;Luo, Jieting. editor.&#160;Pardo, Pere. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521192.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-40875-5">https://doi.org/10.1007/978-3-031-40875-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520976 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Pientka, Brigitte. editor.&#160;Tinelli, Cesare. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520976.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520823 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Banerjee, Mohua. editor.&#160;Sreejith, A. V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520823.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-26689-8">https://doi.org/10.1007/978-3-031-26689-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On Meaningful Scientific Laws ent://SD_ILS/0/SD_ILS:518422 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Falmagne, Jean-Claude. author.&#160;Doble, Christopher. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518422.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46098-6">https://doi.org/10.1007/978-3-662-46098-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Math proofs demystified a self-teaching guide ent://SD_ILS/0/SD_ILS:294158 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Gibilisco, Stan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/math-proofs-demystified">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Roads to infinity the mathematics of truth and proof ent://SD_ILS/0/SD_ILS:289852 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Stillwell, John.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439865507">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The axiomatic method ent://SD_ILS/0/SD_ILS:257317 2024-12-03T13:13:53Z 2024-12-03T13:13:53Z Author&#160;Henkin, Leon.&#160;Suppes, Patrick, 1922-&#160;Tarski, Alfred.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533920">http://www.sciencedirect.com/science/book/9780444533920</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>