Arama Sonuçları Algebraic logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dAlgebraic$002blogic.$0026ps$003d300?dt=list2026-03-22T18:55:46ZCylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:3339222026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333922.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebraic Quasi-Fractal Logic of Smart Systems Theory and Practiceent://SD_ILS/0/SD_ILS:6053162026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Serdyukova, Natalia. editor. Serdyukov, Vladimir. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66040-5">https://doi.org/10.1007/978-3-031-66040-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic of Quasi-Truth: An Algebraic Treatmentent://SD_ILS/0/SD_ILS:6134012026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Di Nola, Antonio. author. Grigolia, Revaz. author. Turunen, Esko. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30406-9">https://doi.org/10.1007/978-3-319-30406-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>LISP, lore and logic : an algebraic view of LISP programming, foundations, and applicationsent://SD_ILS/0/SD_ILS:707202026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Stark, W. Richard.<br/>Yer Numarası QA 76.73.L23 S72 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic in algebraic form Three languages and theoriesent://SD_ILS/0/SD_ILS:2572562026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Craig, William, 1918-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-valued Logic for Decision-Making Under Uncertaintyent://SD_ILS/0/SD_ILS:6072782026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74762-5">https://doi.org/10.1007/978-3-031-74762-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logicent://SD_ILS/0/SD_ILS:6098452026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Abe, Jair Minoro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97810-4">https://doi.org/10.1007/978-3-031-97810-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Category Theory Using Haskell An Introduction with Moggi and Yonedaent://SD_ILS/0/SD_ILS:6064052026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-68538-5">https://doi.org/10.1007/978-3-031-68538-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6044572026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66159-4">https://doi.org/10.1007/978-3-031-66159-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207882026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Hartmann, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212442026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45072-3">https://doi.org/10.1007/978-3-031-45072-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213792026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50959-9">https://doi.org/10.1007/978-3-031-50959-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>BCC-ALGEBRASent://SD_ILS/0/SD_ILS:5898142026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Thomys, Janus.<br/>Yer Numarası QA10<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003331568">https://www.taylorfrancis.com/books/9781003331568</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semiconductor basics : a qualitative, non-mathematical explanation of how semiconductors work and how they are usedent://SD_ILS/0/SD_ILS:5960922026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Domingo, George, 1937- author.<br/>Yer Numarası TK7871.85 .D66 2020<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597124">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597124</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Geographic data imperfection. 1, From theory to applicationsent://SD_ILS/0/SD_ILS:5954692026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Batton-Hubert, Mireille, editor. Desjardin, Eric, editor. Pinet, Francois, 1973- editor.<br/>Yer Numarası G70.217 .G46<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507284">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507284</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to proof through real analysisent://SD_ILS/0/SD_ILS:5936702026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.<br/>Yer Numarası QA9.54 .M335 2017<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maudeent://SD_ILS/0/SD_ILS:6174612026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6181502026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62809-7">https://doi.org/10.1007/978-3-319-62809-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6119172026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6168892026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53132-7">https://doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theoryent://SD_ILS/0/SD_ILS:6184632026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar 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/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191372026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5193132026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19324-3">https://doi.org/10.1007/978-3-319-19324-3</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:5189492026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Yer Numarası ONLINE<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/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5192252026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebraic Theories A Categorical Introduction to General Algebraent://SD_ILS/0/SD_ILS:2390892026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Adámek, J.. Rosický, J.. Vitale, E. M.. Lawvere, F. W..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511760754">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design for energy and the environment : proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Designent://SD_ILS/0/SD_ILS:5429592026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.<br/>Yer Numarası TP155.7 .I552 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439809136">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Classical algebra its nature, origins, and usesent://SD_ILS/0/SD_ILS:2971692026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Cooke, Roger, 1942-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={3AFAA6A9-8CD6-4D12-8E6B-41CBBD525E80}&Format=50">Click for information</a>
<a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=335766">Click here to view book</a>
<a href="http://books.eclibrary.ca/isbn/9780470259528">Access restricted to Education Centre Library use, and to students, faculty, and staff of Nipissing University.</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470277980">http://dx.doi.org/10.1002/9780470277980</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0810/2007041610-b.html">http://catdir.loc.gov/catdir/enhancements/fy0810/2007041610-b.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Residuated lattices an algebraic glimpse at substructural logicsent://SD_ILS/0/SD_ILS:1484792026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Galatos, Nikolaos.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=151">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444521415">http://www.sciencedirect.com/science/book/9780444521415</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Residuated lattices an algebraic glimpse at substructural logicsent://SD_ILS/0/SD_ILS:1485472026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Galatos, Nikolaos.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=151">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444521415">http://www.sciencedirect.com/science/book/9780444521415</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Physics with MAPLE the computer algebra resource for mathematical methods in physicsent://SD_ILS/0/SD_ILS:3035622026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Wang, Frank Y. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9783527618934">http://dx.doi.org/10.1002/9783527618934</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html">http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Valued Fieldsent://SD_ILS/0/SD_ILS:1822422026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-30035-X">http://dx.doi.org/10.1007/3-540-30035-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Modern Number Theory Fundamental Problems, Ideas and Theoriesent://SD_ILS/0/SD_ILS:1815402026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-27692-0">http://dx.doi.org/10.1007/3-540-27692-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coherent systemsent://SD_ILS/0/SD_ILS:2565202026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Schlechta, Karl.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444517890">http://www.sciencedirect.com/science/book/9780444517890</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer science handbookent://SD_ILS/0/SD_ILS:5422612026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Tucker, Allen B.<br/>Yer Numarası QA76 .C54755 2004<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780203494455">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Rudiments of [mu]-calculusent://SD_ILS/0/SD_ILS:2565632026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Arnold, A. (André), 1945- Niwiński, Damian.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506207">http://www.sciencedirect.com/science/book/9780444506207</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebraic statistics : computational commutative algebra in statisticsent://SD_ILS/0/SD_ILS:5476612026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Pistone, Giovanni., author. Riccomagno, Eva. Wynn, Henry P.<br/>Yer Numarası QA276 .P53 2001<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420035766">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Cafe an industrial-strength algebraic formal methodent://SD_ILS/0/SD_ILS:2537532026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444505569">http://www.sciencedirect.com/science/book/9780444505569</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Symbolic Methods in Control System Analysis and Designent://SD_ILS/0/SD_ILS:2477092026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Munro, Neil, ed.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/PBCE056E">http://dx.doi.org/10.1049/PBCE056E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theoryent://SD_ILS/0/SD_ILS:2571662026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Hailperin, Theodore.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879523">http://www.sciencedirect.com/science/book/9780444879523</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An algebraic approach to non-classical logicsent://SD_ILS/0/SD_ILS:2572572026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Rasiowa, Helena.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422641">http://www.sciencedirect.com/science/book/9780720422641</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ordinal algebrasent://SD_ILS/0/SD_ILS:2572072026-03-22T18:55:46Z2026-03-22T18:55:46ZYazar Tarski, Alfred.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533845">http://www.sciencedirect.com/science/book/9780444533845</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>