Arama Sonuçları Mathematical logic. - Daraltılmış: 2016
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMathematical$002blogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092016$0025092016$0026ps$003d300?dt=list
2026-06-05T22:41:10Z
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937 P (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Yer Numarası QA 9 R23 1931<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Black, Max, 1909-<br/>Yer Numarası QA 9 B62 1933 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Yer Numarası Q 175 C494 1948 A (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Applied univariate, bivariate, and multivariate statistics
ent://SD_ILS/0/SD_ILS:593076
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Denis, Daniel J., 1974-<br/>Yer Numarası QA279<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics for dyslexics and dyscalculics : a teaching handbook
ent://SD_ILS/0/SD_ILS:593308
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Chinn, Stephen J. Ashcroft, Richard E.<br/>Yer Numarası QA11.2 .C47 2016 EB<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119159995">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119159995</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A concise introduction to pure mathematics
ent://SD_ILS/0/SD_ILS:378828
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Liebeck, M. W. (Martin W.), 1954-<br/>Yer Numarası QA9 L478 2016<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Probability Logics Probability-Based Formalization of Uncertain Reasoning
ent://SD_ILS/0/SD_ILS:613079
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Ognjanović, Zoran. author. Rašković, Miodrag. author. Marković, Zoran. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47012-2">https://doi.org/10.1007/978-3-319-47012-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A New Perspective on Nonmonotonic Logics
ent://SD_ILS/0/SD_ILS:613763
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46817-4">https://doi.org/10.1007/978-3-319-46817-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Smart Electromechanical Systems
ent://SD_ILS/0/SD_ILS:614082
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Gorodetskiy, Andrey E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27547-5">https://doi.org/10.1007/978-3-319-27547-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Turing Computability Theory and Applications
ent://SD_ILS/0/SD_ILS:614477
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Soare, Robert I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-31933-4">https://doi.org/10.1007/978-3-642-31933-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finitely Supported Mathematics An Introduction
ent://SD_ILS/0/SD_ILS:615413
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42282-4">https://doi.org/10.1007/978-3-319-42282-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Towards Paraconsistent Engineering
ent://SD_ILS/0/SD_ILS:611370
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Akama, Seiki. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40418-9">https://doi.org/10.1007/978-3-319-40418-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic and Information Fusion To commemorate the 70th birthday of Professor Gaspar Mayor
ent://SD_ILS/0/SD_ILS:612869
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Calvo Sánchez, Tomasa. editor. Torrens Sastre, Joan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30421-2">https://doi.org/10.1007/978-3-319-30421-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization
ent://SD_ILS/0/SD_ILS:615162
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Hudec, Miroslav. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42518-4">https://doi.org/10.1007/978-3-319-42518-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Imprecision and Uncertainty in Information Representation and Processing New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets
ent://SD_ILS/0/SD_ILS:616875
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Angelov, Plamen. editor. Sotirov, Sotir. editor. (orcid)0000-0003-1292-6225 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-26302-1">https://doi.org/10.1007/978-3-319-26302-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Practical Introduction to Fuzzy Logic using LISP
ent://SD_ILS/0/SD_ILS:617171
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Argüelles Mendez, Luis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23186-0">https://doi.org/10.1007/978-3-319-23186-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:617182
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27683-0">https://doi.org/10.1007/978-3-319-27683-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
ent://SD_ILS/0/SD_ILS:617503
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of Fifth International Conference on Soft Computing for Problem Solving SocProS 2015, Volume 2
ent://SD_ILS/0/SD_ILS:618074
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Pant, Millie. editor. Deep, Kusum. editor. (orcid)0000-0001-5821-2696 Bansal, Jagdish Chand. editor. Nagar, Atulya. editor. (orcid)0000-0001-5549-6435 Das, Kedar Nath. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-0451-3">https://doi.org/10.1007/978-981-10-0451-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of Fifth International Conference on Soft Computing for Problem Solving SocProS 2015, Volume 1
ent://SD_ILS/0/SD_ILS:611001
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Pant, Millie. editor. Deep, Kusum. editor. (orcid)0000-0001-5821-2696 Bansal, Jagdish Chand. editor. Nagar, Atulya. editor. (orcid)0000-0001-5549-6435 Das, Kedar Nath. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-0448-3">https://doi.org/10.1007/978-981-10-0448-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Artificial Intelligence
ent://SD_ILS/0/SD_ILS:615832
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Flasiński, Mariusz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40022-8">https://doi.org/10.1007/978-3-319-40022-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616148
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computing Systems Emerging Application Areas
ent://SD_ILS/0/SD_ILS:616378
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Tsihrintzis, George A. editor. Virvou, Maria. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49179-9">https://doi.org/10.1007/978-3-662-49179-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
ent://SD_ILS/0/SD_ILS:618463
2026-06-05T22:41:10Z
2026-06-05T22:41:10Z
Yazar Saminger-Platz, Susanne. editor. Mesiar, Radko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28808-6">https://doi.org/10.1007/978-3-319-28808-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>