Arama Sonuçları Intuitionistic mathematics.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dIntuitionistic$002bmathematics.$0026te$003dILS$0026ps$003d300?dt=list2024-12-26T17:17:26ZThe foundations of intuitionistic mathematicsent://SD_ILS/0/SD_ILS:2572822024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534040">http://www.sciencedirect.com/science/book/9780444534040</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The foundations of intuitionistic mathematics : especially in relation to recursive functionsent://SD_ILS/0/SD_ILS:725062024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, ort. yaz.<br/>Yer Numarası QA 248.5 K652 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208232024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520823.1)<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/>Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5190602024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519060.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20028-6">https://doi.org/10.1007/978-3-319-20028-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189492024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Yer Numarası XX(518949.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47709-0">https://doi.org/10.1007/978-3-662-47709-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Phenomenology, Logic, and the Philosophy of Mathematicsent://SD_ILS/0/SD_ILS:2370472024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar Tieszen, Richard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511498589">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intentional mathematicsent://SD_ILS/0/SD_ILS:2570872024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar Shapiro, Stewart, 1951-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876324">http://www.sciencedirect.com/science/book/9780444876324</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981ent://SD_ILS/0/SD_ILS:2569542024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands) Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966. Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864949">http://www.sciencedirect.com/science/book/9780444864949</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.ent://SD_ILS/0/SD_ILS:2569512024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853455">http://www.sciencedirect.com/science/book/9780444853455</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intuitionism an introductionent://SD_ILS/0/SD_ILS:2573552024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar Heyting, A. (Arend), 1898-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534064">http://www.sciencedirect.com/science/book/9780444534064</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intuitionism an introductionent://SD_ILS/0/SD_ILS:2573492024-12-26T17:17:26Z2024-12-26T17:17:26ZYazar Heyting, A. (Arend), 1898-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533821">http://www.sciencedirect.com/science/book/9780444533821</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>