Search Results for Intuitionistic mathematics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dIntuitionistic$002bmathematics.$0026ps$003d300?
2026-05-12T20:49:32Z
The foundations of intuitionistic mathematics
ent://SD_ILS/0/SD_ILS:257282
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534040">http://www.sciencedirect.com/science/book/9780444534040</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The foundations of intuitionistic mathematics : especially in relation to recursive functions
ent://SD_ILS/0/SD_ILS:72506
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, ort. yaz.<br/>Preferred Shelf Number QA 248.5 K652 1965<br/>Format: Books<br/>Availability Beytepe 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
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain
ent://SD_ILS/0/SD_ILS:529090
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4929-6">https://doi.org/10.1007/978-981-19-4929-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1
ent://SD_ILS/0/SD_ILS:527962
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39774-5">https://doi.org/10.1007/978-3-031-39774-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics in computational science and engineering
ent://SD_ILS/0/SD_ILS:597587
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Bhardwaj, Ramakant, editor.<br/>Preferred Shelf Number QA76.9 .M35<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119777557">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119777557</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy set and its extension : the intuitionistic fuzzy set
ent://SD_ILS/0/SD_ILS:595193
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Chaira, Tamalika, author.<br/>Preferred Shelf Number QA248.5 .C43 2019<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119544203">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119544203</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intuitionistic Fuzzy Calculus
ent://SD_ILS/0/SD_ILS:615377
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Lei, Qian. author. Xu, Zeshui. author. (orcid)0000-0002-0655-1255 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54148-8">https://doi.org/10.1007/978-3-319-54148-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
ent://SD_ILS/0/SD_ILS:617503
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518949
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519060
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Phenomenology, Logic, and the Philosophy of Mathematics
ent://SD_ILS/0/SD_ILS:237047
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Tieszen, Richard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511498589">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intentional mathematics
ent://SD_ILS/0/SD_ILS:257087
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Shapiro, Stewart, 1951-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876324">http://www.sciencedirect.com/science/book/9780444876324</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
ent://SD_ILS/0/SD_ILS:256954
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864949">http://www.sciencedirect.com/science/book/9780444864949</a><br/>Format: Electronic Resources<br/>Availability Online Library~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:256951
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853455">http://www.sciencedirect.com/science/book/9780444853455</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intuitionism an introduction
ent://SD_ILS/0/SD_ILS:257355
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Heyting, A. (Arend), 1898-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534064">http://www.sciencedirect.com/science/book/9780444534064</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intuitionism an introduction
ent://SD_ILS/0/SD_ILS:257349
2026-05-12T20:49:32Z
2026-05-12T20:49:32Z
Author Heyting, A. (Arend), 1898-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533821">http://www.sciencedirect.com/science/book/9780444533821</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>