Arama Sonuçları Axioms. - Daraltılmış: Online Library
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dAxioms.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list
2026-01-12T23:13:44Z
Defending the axioms on the philosophical foundations of set theory
ent://SD_ILS/0/SD_ILS:234824
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Maddy, Penelope.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Psychological Aspects of Social Axioms Understanding Global Belief Systems
ent://SD_ILS/0/SD_ILS:164799
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Leung, Kwok. editor. Bond, Michael Harris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521192
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Meaningful Scientific Laws
ent://SD_ILS/0/SD_ILS:518422
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Falmagne, Jean-Claude. author. Doble, Christopher. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transformational plane geometry
ent://SD_ILS/0/SD_ILS:538692
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Umble, Ronald N., author. Han, Zhigang, author. Taylor and Francis.<br/>Yer Numarası QA455<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482234725">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Math proofs demystified a self-teaching guide
ent://SD_ILS/0/SD_ILS:294158
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Gibilisco, Stan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/math-proofs-demystified">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Roads to infinity : the mathematics of truth and proof
ent://SD_ILS/0/SD_ILS:542766
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Stillwell, John., author.<br/>Yer Numarası QA248 .S778 2010<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439865507">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
The axiomatic method
ent://SD_ILS/0/SD_ILS:257317
2026-01-12T23:13:44Z
2026-01-12T23:13:44Z
Yazar Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533920">http://www.sciencedirect.com/science/book/9780444533920</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>