Arama Sonuçları Logic. - Daraltılmış: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026ps$003d300?dt=list2024-11-25T17:03:51ZLogicent://SD_ILS/0/SD_ILS:7472024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Salmon, Wesley C., 1908-1931<br/>Yer Numarası BC 108 S2 1963<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Computational logicent://SD_ILS/0/SD_ILS:3553472024-11-25T17:03:51Z2024-11-25T17:03:51ZYer Numarası ONLINE(355347.1)<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516244">http://www.sciencedirect.com/science/book/9780444516244</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatory logicent://SD_ILS/0/SD_ILS:2572782024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533876">http://www.sciencedirect.com/science/book/9780444533876</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic demystifiedent://SD_ILS/0/SD_ILS:2941152024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Boutelle, Anthony. Gibilisco, Stan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic countdownent://SD_ILS/0/SD_ILS:3867932024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Risby, Bonnie.<br/>Yer Numarası LB1590.3 R57 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic liftoffent://SD_ILS/0/SD_ILS:3867272024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Risby, Bonnie. Crawford, Dean, illustrator.<br/>Yer Numarası LB1590.3 R57 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Primarily logicent://SD_ILS/0/SD_ILS:3867422024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Leimbach, Judy. Crawford, Dean. Crawford, Pat. Draze, Dianne.<br/>Yer Numarası LB1590.3 L45 2005<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:3030992024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Tourlakis, George J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Safarient://SD_ILS/0/SD_ILS:3867882024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Risby, Bonnie Lou. Palouda, Annelise.<br/>Yer Numarası BC101 R57 2005 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>Logic countdownent://SD_ILS/0/SD_ILS:3867452024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Risby, Bonnie Lou. Crawford, Dean.<br/>Format: Kitap<br/>Durum ~0<br/>Logic designent://SD_ILS/0/SD_ILS:2909972024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Chen, Wai-Kai, 1936-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9780203010150">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:2566002024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic logicent://SD_ILS/0/SD_ILS:2199672024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic circuitsent://SD_ILS/0/SD_ILS:585222024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Morris, Noel Malcolm.<br/>Yer Numarası TK 7868.L6 M67 1983<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Symbolic logicent://SD_ILS/0/SD_ILS:7562024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Copi, Irving M.<br/>Yer Numarası BC 135 C58 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Elementary logicent://SD_ILS/0/SD_ILS:7722024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Mates, Benson, 1919-<br/>Yer Numarası BC 135 M37 1972 E<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Symbolic logicent://SD_ILS/0/SD_ILS:7792024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Venn, John, 1834-1923.<br/>Yer Numarası BC 135 V4 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Threshold logicent://SD_ILS/0/SD_ILS:388422024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Sheng, Ching-Lai.<br/>Yer Numarası QA 401 S46 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Philosophical logicent://SD_ILS/0/SD_ILS:1159712024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Strawson, P. F.<br/>Yer Numarası BC6 S8 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introductory logicent://SD_ILS/0/SD_ILS:7432024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Creighton, James Edwin, 1861-1924.<br/>Yer Numarası BC 108 C87 1920<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Formal logicent://SD_ILS/0/SD_ILS:2315012024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Prior, A. N. (Arthur N.), 1914-1969.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198241560.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198241560.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 2007ent://SD_ILS/0/SD_ILS:2367832024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 2006ent://SD_ILS/0/SD_ILS:2377752024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511605321">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 2005ent://SD_ILS/0/SD_ILS:2366312024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511546464">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic Epistemic Logicent://SD_ILS/0/SD_ILS:1524322024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5839-4">http://dx.doi.org/10.1007/978-1-4020-5839-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computability, complexity, logicent://SD_ILS/0/SD_ILS:2571732024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Börger, E. (Egon), 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ancient formal logicent://SD_ILS/0/SD_ILS:2572152024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bochenski, Joseph M., 1902-1995.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533678">http://www.sciencedirect.com/science/book/9780444533678</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Structureent://SD_ILS/0/SD_ILS:3310102024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331010.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4558-5">http://dx.doi.org/10.1007/978-1-4471-4558-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic the basicsent://SD_ILS/0/SD_ILS:2665482024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Beall, J. C.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203851555">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Philosophy of logicent://SD_ILS/0/SD_ILS:1483812024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Jacquette, Dale.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444515414">http://www.sciencedirect.com/science/book/9780444515414</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Orbiting with logicent://SD_ILS/0/SD_ILS:3867412024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Risby, Bonnie Lou. Crawford, Dean.<br/>Yer Numarası LB1590.3 R57 2005<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and structureent://SD_ILS/0/SD_ILS:975662024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Dalen, D. van.<br/>Yer Numarası QA 9 D16 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Digital logic designent://SD_ILS/0/SD_ILS:2546142024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Holdsworth, B. (Brian) Woods, R. C. (R. Clive)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750645829">http://www.sciencedirect.com/science/book/9780750645829</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and existenceent://SD_ILS/0/SD_ILS:2684292024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hyppolite, Jean.<br/>Yer Numarası B2949.L8 H913 1997<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Advanced Logic Synthesisent://SD_ILS/0/SD_ILS:4022032024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67295-3">https://doi.org/10.1007/978-3-319-67295-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic in gamesent://SD_ILS/0/SD_ILS:3649472024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.<br/>Yer Numarası ONLINE(364947.1)<br/>Elektronik Erişim Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Synchronous precharge logicent://SD_ILS/0/SD_ILS:1485852024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Smoszna, Marek.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123985279">http://www.sciencedirect.com/science/book/9780123985279</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programmable logic controllersent://SD_ILS/0/SD_ILS:3861202024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bolton, W. (William), 1933-<br/>Yer Numarası TJ223.P76 B65 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:2665622024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gensler, Harry J., 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203855003">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programmable logic controllersent://SD_ILS/0/SD_ILS:1474142024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bolton, W. (William), 1933-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177511">http://www.sciencedirect.com/science/book/9781856177511</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Coalgebraic Logicent://SD_ILS/0/SD_ILS:1904842024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Doberkat, Ernst-Erich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02995-0">http://dx.doi.org/10.1007/978-3-642-02995-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic in Realityent://SD_ILS/0/SD_ILS:1701412024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Brenner, Joseph E. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8375-4">http://dx.doi.org/10.1007/978-1-4020-8375-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programmable logic controllersent://SD_ILS/0/SD_ILS:2544812024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bolton, W. (William), 1933-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750681124">http://www.sciencedirect.com/science/book/9780750681124</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Equational Logicent://SD_ILS/0/SD_ILS:1833482024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105121">http://dx.doi.org/10.1007/b105121</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Contemporary logic designent://SD_ILS/0/SD_ILS:931542024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Katz, Randy H., 1955-<br/>Yer Numarası TK 7888.4 K36 1994<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Computability and logicent://SD_ILS/0/SD_ILS:717942024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Boolos, George S. Jeffrey, R. C., ort. yaz.<br/>Yer Numarası QA 9.59 B66 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Systems of logicent://SD_ILS/0/SD_ILS:7692024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Martin, Norman M.<br/>Yer Numarası BC 135 M325 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic with prologent://SD_ILS/0/SD_ILS:323272024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gibbins, Peter.<br/>Yer Numarası QA 76.73.P76 G53 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic tools programmingent://SD_ILS/0/SD_ILS:322172024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Pace, Philip, 1956- Pace, L., ort. yaz.<br/>Yer Numarası QA 76.6 P325 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7462024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Packard, Dennis J. Faulconer, James E., ort. yaz.<br/>Yer Numarası BC 108 P22 1980<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Computer logic designent://SD_ILS/0/SD_ILS:587092024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Mano, M. Morris, 1927-<br/>Yer Numarası TK 7868.S9 M275 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>Sets and logicent://SD_ILS/0/SD_ILS:553712024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hanna, Samuel C. Saber, John C., ort. yaz.<br/>Yer Numarası QA 248 H29 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic for philosophersent://SD_ILS/0/SD_ILS:8102024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Purtill, Richard L., 1931-<br/>Yer Numarası BC 71 P86 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7412024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Beach, John D.<br/>Yer Numarası BC 108 B34 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Understanding symbolic logicent://SD_ILS/0/SD_ILS:7702024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Massey, Gerald J.<br/>Yer Numarası BC 135 M35 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic in teachingent://SD_ILS/0/SD_ILS:7892024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ennis, Robert Hugh, 1927-<br/>Yer Numarası BC 161.T4 E5 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Methods of logicent://SD_ILS/0/SD_ILS:8012024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Quine, Willard Van Orman.<br/>Yer Numarası BC 50 Q8 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and criticisment://SD_ILS/0/SD_ILS:23022024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Righter, William.<br/>Yer Numarası BH 39 R5 1963<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:8072024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Clark, Romane. Welsh, Paul, ort. yaz.<br/>Yer Numarası BC 71 C5 1962<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic for mathematiciansent://SD_ILS/0/SD_ILS:7772024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Rosser, John Barkley, 1907-<br/>Yer Numarası BC 135 R735 1953<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:1524922024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6324-4">http://dx.doi.org/10.1007/978-1-4020-6324-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:1521132024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3092-4">http://dx.doi.org/10.1007/1-4020-3092-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of modal logicent://SD_ILS/0/SD_ILS:1485442024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=15702464&volume=3">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516909">http://www.sciencedirect.com/science/book/9780444516909</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Thought and Actionent://SD_ILS/0/SD_ILS:1521172024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Vanderveken, Daniel. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3167-X">http://dx.doi.org/10.1007/1-4020-3167-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Paraconsistency: Logic and Applicationsent://SD_ILS/0/SD_ILS:3357592024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335759.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4438-7">http://dx.doi.org/10.1007/978-94-007-4438-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic for Computer Scientistsent://SD_ILS/0/SD_ILS:1682822024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Schöning, Uwe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4763-6">http://dx.doi.org/10.1007/978-0-8176-4763-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aspects of inductive logicent://SD_ILS/0/SD_ILS:2572842024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534088">http://www.sciencedirect.com/science/book/9780444534088</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatory logic. Volume IIent://SD_ILS/0/SD_ILS:2572542024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422085">http://www.sciencedirect.com/science/book/9780720422085</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:3647202024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Mendelson, Elliott.<br/>Yer Numarası QA9 M4 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>VHDL for logic synthesisent://SD_ILS/0/SD_ILS:3057292024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Rushton, Andrew.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=41715">http://www.books24x7.com/marc.asp?bookid=41715</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781119995852">http://dx.doi.org/10.1002/9781119995852</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470688472">http://proquest.safaribooksonline.com/?fpi=9780470688472</a>
Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg</a>
<a href="http://proquest.safaribooksonline.com/9780470688472">http://proquest.safaribooksonline.com/9780470688472</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Studies in Legal Logicent://SD_ILS/0/SD_ILS:1521532024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hage, Jaap. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3552-7">http://dx.doi.org/10.1007/1-4020-3552-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to medieval logicent://SD_ILS/0/SD_ILS:2342982024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Broadie, Alexander.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logic of senseent://SD_ILS/0/SD_ILS:2683662024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Deleuze, Gilles.<br/>Yer Numarası B840 D3813 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Fundamentals of computer logicent://SD_ILS/0/SD_ILS:712442024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hutchison, David.<br/>Yer Numarası TK 7888.4 H97 1981<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of poetryent://SD_ILS/0/SD_ILS:414692024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Monaco, Richard. Briggs, J., ort. yaz.<br/>Yer Numarası PN 1059 M4 M6<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:460482024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Mendelson, Elliott.<br/>Yer Numarası QA 9 M4 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Advances in modal logicent://SD_ILS/0/SD_ILS:780632024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Kracht, Marcus, ed.<br/>Yer Numarası BC 199.M6 A38 1998- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:3312072024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bramer, Max. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331207.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5487-7">http://dx.doi.org/10.1007/978-1-4471-5487-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic: A Brief Courseent://SD_ILS/0/SD_ILS:2046172024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Mundici, Daniele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-2361-1">http://dx.doi.org/10.1007/978-88-470-2361-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logic of educationent://SD_ILS/0/SD_ILS:2609492024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203138557">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Memory-Based Logic Synthesisent://SD_ILS/0/SD_ILS:1730662024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Sasao, Tsutomu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-8104-2">http://dx.doi.org/10.1007/978-1-4419-8104-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aspects of Mathematical Logicent://SD_ILS/0/SD_ILS:1915712024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Casari, E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11080-1">http://dx.doi.org/10.1007/978-3-642-11080-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The science of logicent://SD_ILS/0/SD_ILS:1445262024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The science of logicent://SD_ILS/0/SD_ILS:2683872024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hegel, Georg Wilhelm Friedrich. Di Giovanni, George, 1935-<br/>Yer Numarası B2942.E5 D5 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:1753162024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bramer, Max. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-212-8">http://dx.doi.org/10.1007/1-84628-212-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic design of nanoICsent://SD_ILS/0/SD_ILS:2867842024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420038293">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to logic designent://SD_ILS/0/SD_ILS:3123892024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Marcovitz, Alan B.<br/>Yer Numarası TK7868 L6 M355 2005<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Fuzzy logic in geologyent://SD_ILS/0/SD_ILS:2552822024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Demicco, Robert V. Klir, George J., 1932-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124151468">http://www.sciencedirect.com/science/book/9780124151468</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Thought and Languageent://SD_ILS/0/SD_ILS:2360782024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar O'Hear, Anthony.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511550287">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic in chemistryent://SD_ILS/0/SD_ILS:2525832024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Rouvray, D. H.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780125989107">http://www.sciencedirect.com/science/book/9780125989107</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming and databasesent://SD_ILS/0/SD_ILS:698512024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.<br/>Yer Numarası QA 76.63 C47 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Foundations of illocutionary logicent://SD_ILS/0/SD_ILS:202742024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Searle, John R.<br/>Yer Numarası P 95.55 S42 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Fundamentals of logic designent://SD_ILS/0/SD_ILS:831582024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Roth, Charles H.<br/>Yer Numarası TK 7868.L6 R67 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Fundamentals of logic designent://SD_ILS/0/SD_ILS:587002024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Roth, Charles H.<br/>Yer Numarası TK 7868.L6 R67 1979<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of literatureent://SD_ILS/0/SD_ILS:415302024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hamburger, Kate, 1896-<br/>Yer Numarası PN 45 H3513 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:336472024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Aiserman, Mark A.<br/>Yer Numarası QA 267.5.S4 L613 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic, language, and metaphysicsent://SD_ILS/0/SD_ILS:8032024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Martin, Richard Milton.<br/>Yer Numarası BC 51 M37 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Manual of logic circuitsent://SD_ILS/0/SD_ILS:388352024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Maley, Gerald A.<br/>Yer Numarası QA 401 M35 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of educationent://SD_ILS/0/SD_ILS:169022024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hirst, Paul Haywood.<br/>Yer Numarası LB 880 H59 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to symbolic logicent://SD_ILS/0/SD_ILS:7752024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Pollock, John L.<br/>Yer Numarası BC 135 P68 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of practiceent://SD_ILS/0/SD_ILS:905572024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bourdieu, Pierre, 1930-2002<br/>Yer Numarası GN 468 B6813 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Molecular logic-based computationent://SD_ILS/0/SD_ILS:3430592024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Silva, A. Prasanna de.<br/>Yer Numarası ONLINE(343059.1)<br/>Elektronik Erişim <a href="http://msvu.eblib.com/patron/FullRecord.aspx?p=1185759">Check for Full Text</a> Access restricted: MSVU users only
Royal Society of Chemistry <a href="http://dx.doi.org/10.1039/9781849733021">http://dx.doi.org/10.1039/9781849733021</a>
ebrary <a href="http://site.ebrary.com/id/10640412">http://site.ebrary.com/id/10640412</a>
<a href="http://swb.eblib.com/patron/FullRecord.aspx?p=1185759">http://swb.eblib.com/patron/FullRecord.aspx?p=1185759</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Integer Programmingent://SD_ILS/0/SD_ILS:1680062024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Williams, H. Paul. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-92280-5">http://dx.doi.org/10.1007/978-0-387-92280-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and information flowent://SD_ILS/0/SD_ILS:2198942024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Eijck, J. van (Jan) Visser, Albert.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic IC master referenceent://SD_ILS/0/SD_ILS:2549082024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Heiserman, David L., 1940-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123380500">http://www.sciencedirect.com/science/book/9780123380500</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of logic programmingent://SD_ILS/0/SD_ILS:726862024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Lloyd, John Wylie, 1947-<br/>Yer Numarası QA 76.6 L538 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:2572392024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Aĭzerman, M. A. (Mark Aronovich), 1913-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120463503">http://www.sciencedirect.com/science/book/9780120463503</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language, truth, and logicent://SD_ILS/0/SD_ILS:5042024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ayer, Alfred Julies, 1910-<br/>Yer Numarası B 53 A9 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Probability and inductive logicent://SD_ILS/0/SD_ILS:8162024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Kyburg, Henry Ely, 1928-<br/>Yer Numarası BC 91 K9 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Formal and transcendental logicent://SD_ILS/0/SD_ILS:745762024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Husserl, Edmund, 1859-1938.<br/>Yer Numarası BC 122 H813 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Fulse and logic circuitsent://SD_ILS/0/SD_ILS:375242024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gillie, Angelo C., ed.<br/>Yer Numarası TK 7867 G54 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Set theory and logicent://SD_ILS/0/SD_ILS:1038912024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Fraenkel, Abraham Adolf, 1891-1965.<br/>Yer Numarası QA 248 F73 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and boolean algebraent://SD_ILS/0/SD_ILS:336092024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Arnold, Bradford Henry, 1916-<br/>Yer Numarası QA 266 A7 1962<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Advanced digital logic conceptsent://SD_ILS/0/SD_ILS:276382024-11-25T17:03:51Z2024-11-25T17:03:51ZYer Numarası TK 7868.D5 A95 1983<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Hybrid Logic and its Proof-Theoryent://SD_ILS/0/SD_ILS:2057162024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Braüner, Torben. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0002-4">http://dx.doi.org/10.1007/978-94-007-0002-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A grammatical view of logic programmingent://SD_ILS/0/SD_ILS:2202472024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Deransart, Pierre. Małuszyński, J. (Jan), 1941-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Gentzen Calculi for Modal Propositional Logicent://SD_ILS/0/SD_ILS:2055572024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Poggiolesi, Francesca. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9670-8">http://dx.doi.org/10.1007/978-90-481-9670-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Philosophical Logic Volume 16ent://SD_ILS/0/SD_ILS:2058562024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0479-4">http://dx.doi.org/10.1007/978-94-007-0479-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:2565432024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Benthem, Johan van, 1949- Meulen, Alice G. B. ter.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817143">http://www.sciencedirect.com/science/book/9780444817143</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Philosophical Logic Volume 15ent://SD_ILS/0/SD_ILS:2058582024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0485-5">http://dx.doi.org/10.1007/978-94-007-0485-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Companion to philosophical logicent://SD_ILS/0/SD_ILS:3000812024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Jacquette, Dale. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9780470996751">http://dx.doi.org/10.1002/9780470996751</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Greek, Indian, and Arabic logicent://SD_ILS/0/SD_ILS:2566012024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504661">http://www.sciencedirect.com/science/book/9780444504661</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Games: Unifying Logic, Language, and Philosophyent://SD_ILS/0/SD_ILS:1705172024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:1982152024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Categorical logic and type theoryent://SD_ILS/0/SD_ILS:2565352024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Jacobs, Bart.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501707">http://www.sciencedirect.com/science/book/9780444501707</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and techniques in modal logicent://SD_ILS/0/SD_ILS:2565492024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Kracht, Marcus.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500557">http://www.sciencedirect.com/science/book/9780444500557</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intuitionistic logic, model theory and forcingent://SD_ILS/0/SD_ILS:2572252024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Fitting, Melvin, 1942-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534187">http://www.sciencedirect.com/science/book/9780444534187</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Elements of mathematical logic (Model theory)ent://SD_ILS/0/SD_ILS:2572142024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534125">http://www.sciencedirect.com/science/book/9780444534125</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A survey of mathematical logicent://SD_ILS/0/SD_ILS:2573542024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Wang, Hao, 1921-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533982">http://www.sciencedirect.com/science/book/9780444533982</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Truth and consequence in mediaeval logicent://SD_ILS/0/SD_ILS:2572752024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Moody, Ernest A. (Ernest Addison), 1903-1975.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533760">http://www.sciencedirect.com/science/book/9780444533760</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The propositional logic of Boethiusent://SD_ILS/0/SD_ILS:2573162024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Dürr, Karl, 1888-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533661">http://www.sciencedirect.com/science/book/9780444533661</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An essay in modal logicent://SD_ILS/0/SD_ILS:2573452024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Wright, G. H. von (Georg Henrik), 1916-2003.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533708">http://www.sciencedirect.com/science/book/9780444533708</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming languages constraints, functions, and objectsent://SD_ILS/0/SD_ILS:2202242024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Pro 9 audio and music productionent://SD_ILS/0/SD_ILS:1479102024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Cousins, Mark, 1972- Hepworth-Sawyer, Russ.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240521930">http://www.sciencedirect.com/science/book/9780240521930</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of the Second Scandinavian Logic Symposiument://SD_ILS/0/SD_ILS:2572222024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422597">http://www.sciencedirect.com/science/book/9780720422597</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Chance, love and logic : philosophical essaysent://SD_ILS/0/SD_ILS:674642024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Yer Numarası B 945.P43 C5 1923 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Yer Numarası QA 273.4 C37 1971-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Yer Numarası BC 108 A55 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar 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/>R-Calculus, IV: Propositional Logicent://SD_ILS/0/SD_ILS:5203832024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Yer Numarası XX(520383.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-8633-8">https://doi.org/10.1007/978-981-19-8633-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic of analog and digital machinesent://SD_ILS/0/SD_ILS:2814652024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Rocchi, Paolo.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mechanical logic in three-dimensional spaceent://SD_ILS/0/SD_ILS:3426122024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Auletta, Gennaro, author.<br/>Yer Numarası ONLINE(342612.1)<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9789814411516">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:3318532024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331853.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:3339222024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar 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/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:1735402024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and the Organization of Informationent://SD_ILS/0/SD_ILS:1741902024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Frické, Martin. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3088-9">http://dx.doi.org/10.1007/978-1-4614-3088-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Circuit Design Selected Methodsent://SD_ILS/0/SD_ILS:1962632024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Vingron, Shimon P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27657-6">http://dx.doi.org/10.1007/978-3-642-27657-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:1734602024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Makinson, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2500-6">http://dx.doi.org/10.1007/978-1-4471-2500-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Purgatory the logic of total transformationent://SD_ILS/0/SD_ILS:2336272024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Walls, Jerry L.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital logic design a rigorous approachent://SD_ILS/0/SD_ILS:2804002024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Even, Guy. Medina, Moti, 1979-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic : the laws of truthent://SD_ILS/0/SD_ILS:3762482024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7sr96">http://www.jstor.org/stable/10.2307/j.ctt7sr96</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatory logic pure, applied and typedent://SD_ILS/0/SD_ILS:2851212024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bimb,̤ Katalin, 1963-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439800010">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:1481462024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:2851882024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hitzler, Pascal. Seda, Anthony.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logic of positive engagementent://SD_ILS/0/SD_ILS:3761322024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Nincic, Miroslav.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.7591/j.ctt7v74h">http://www.jstor.org/stable/10.7591/j.ctt7v74h</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Lollipop logic : grades K-2ent://SD_ILS/0/SD_ILS:3867822024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.<br/>Yer Numarası BC71 R57 2011 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1721862024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-1221-3">http://dx.doi.org/10.1007/978-1-4419-1221-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete structures, logic, and computabilityent://SD_ILS/0/SD_ILS:2683132024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hein, James L.<br/>Yer Numarası QA76.9.M35 H44 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Modality metaphysics, logic, and epistemologyent://SD_ILS/0/SD_ILS:2335132024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hale, Bob, 1945- Hoffmann, Aviv.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic the question of truthent://SD_ILS/0/SD_ILS:2455162024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780253004451/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic and hydrological modelingent://SD_ILS/0/SD_ILS:2878982024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar ?en, Zekí.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439809402">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data integration the relational logic approachent://SD_ILS/0/SD_ILS:2791492024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Genesereth, Michael R., 1948-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic with engineering applicationsent://SD_ILS/0/SD_ILS:3041422024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ross, Timothy J. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781119994374">http://dx.doi.org/10.1002/9781119994374</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10358927">http://site.ebrary.com/lib/alltitles/Doc?id=10358927</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Neural Cell Behavior and Fuzzy Logicent://SD_ILS/0/SD_ILS:1646852024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Sandler, Uziel. editor. Tsitolovsky, Lev. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-09543-1">http://dx.doi.org/10.1007/978-0-387-09543-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:1755932024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Makinson, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-845-6">http://dx.doi.org/10.1007/978-1-84628-845-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Elementary Logic For Software Developmentent://SD_ILS/0/SD_ILS:1757022024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Lover, Robert. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-082-7">http://dx.doi.org/10.1007/978-1-84800-082-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and computer design fundamentalsent://SD_ILS/0/SD_ILS:1098762024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Mano, M. Morris Kime, Charles R., ort. yaz.<br/>Yer Numarası TK7888.4 M36 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>Temporal Logic and State Systemsent://SD_ILS/0/SD_ILS:1855372024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:1673202024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Srivastava, S. M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-76277-7">http://dx.doi.org/10.1007/978-0-387-76277-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Extensionalism The Revolution in Logicent://SD_ILS/0/SD_ILS:1700542024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bar-Am, Nimrod. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8168-2">http://dx.doi.org/10.1007/978-1-4020-8168-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Lectures on logic : Berlin, 1831ent://SD_ILS/0/SD_ILS:2683702024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hegel, Georg Wilhelm Friedrich. Butler, Clark, 1944-<br/>Yer Numarası B2944.V652 E5 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Digital electronics and logic designent://SD_ILS/0/SD_ILS:3859682024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Nair, B. Somanathan.<br/>Yer Numarası TK7868.D5 N35 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Fuzzy logic with engineering applicationsent://SD_ILS/0/SD_ILS:1090332024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ross, Timothy J.<br/>Yer Numarası TA331 R675 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to Fuzzy Logic using MATLABent://SD_ILS/0/SD_ILS:1843052024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-35781-0">http://dx.doi.org/10.1007/978-3-540-35781-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic : informal, symbolic and inductiveent://SD_ILS/0/SD_ILS:3718962024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Chakraborti, Chhanda.<br/>Yer Numarası BC91 C42 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1660202024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-34241-9">http://dx.doi.org/10.1007/0-387-34241-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rigid Flexibility The Logic of Intelligenceent://SD_ILS/0/SD_ILS:1693552024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Wang, Pei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5045-3">http://dx.doi.org/10.1007/1-4020-5045-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantifiers in language and logicent://SD_ILS/0/SD_ILS:2335492024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Peters, Stanley, 1941- Westerståhl, Dag, 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic Applications in Engineering Scienceent://SD_ILS/0/SD_ILS:1690752024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4078-4">http://dx.doi.org/10.1007/1-4020-4078-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theories of Judgment Psychology, Logic, Phenomenologyent://SD_ILS/0/SD_ILS:2385632024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Martin, Wayne.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511487613">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic and the semantic webent://SD_ILS/0/SD_ILS:2537232024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Sanchez, Elie, 1944-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444519481">http://www.sciencedirect.com/science/book/9780444519481</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic, Identification and Predictive Controlent://SD_ILS/0/SD_ILS:1752202024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138626">http://dx.doi.org/10.1007/b138626</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grounded Consequence for Defeasible Logicent://SD_ILS/0/SD_ILS:2349602024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Antonelli, Aldo.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511498411">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic in Financial Analysisent://SD_ILS/0/SD_ILS:1833112024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32368-6">http://dx.doi.org/10.1007/3-540-32368-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Philosophical Logic, 2nd Editionent://SD_ILS/0/SD_ILS:1521502024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3521-7">http://dx.doi.org/10.1007/1-4020-3521-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and computer design fundamentalsent://SD_ILS/0/SD_ILS:977152024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Mano, M. Morris Kime, Charles R., ort. yaz.<br/>Yer Numarası TK 7888.4 M36 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Probability theory : the logic of scienceent://SD_ILS/0/SD_ILS:975162024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Jaynes, E. T. Bretthorst, G. Larry, ed.<br/>Yer Numarası QA 273 J36 2003<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Relevant Logic A Philosophical Interpretationent://SD_ILS/0/SD_ILS:2355032024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Mares, Edwin D..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511520006">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic for embedded systems applicationsent://SD_ILS/0/SD_ILS:2542062024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ibrahim, Ahmad M., 1951-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750676052">http://www.sciencedirect.com/science/book/9780750676052</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetics and the logic of evolutionent://SD_ILS/0/SD_ILS:3015712024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Weiss, Kenneth M. Buchanan, Anne. John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://catdir.loc.gov/catdir/bios/wiley044/2003014905.html">Full text available from Wiley InterScience</a>
<a href="http://dx.doi.org/10.1002/0471532657">Authentication may be required</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471532657">http://dx.doi.org/10.1002/0471532657</a>
Book review (E-STREAMS) <a href="http://www.e-streams.com/es0708/es0708_3453.html">http://www.e-streams.com/es0708/es0708_3453.html</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley044/2003014905.html">http://catdir.loc.gov/catdir/bios/wiley044/2003014905.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design of logic-based intelligent systemsent://SD_ILS/0/SD_ILS:3017322024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Truemper, K., 1942- John Wiley & Sons, Inc.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109868497">e-book</a>
Wiley InterScience <a href="http://dx.doi.org/10.1002/9780471723943">An electronic book accessible through the World Wide Web; click for information</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html">http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Arithmetic and logic in computer systemsent://SD_ILS/0/SD_ILS:3017532024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Lu, Mi.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={3FE4CD1A-E6BB-4517-8B84-19A40188F47F}&Format=50">Click for information</a>
<a href="http://catdir.loc.gov/catdir/bios/wiley046/2003062036.html">Full text available from Wiley InterScience</a>
<a href="http://dx.doi.org/10.1002/0471728519">Authentication may be required</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780471469452">Available by subscription from Safari Books Online</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Probability Theory The Logic of Scienceent://SD_ILS/0/SD_ILS:2373572024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Jaynes, E. T.. Bretthorst, G. Larry.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511790423">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verilog coding for logic synthesisent://SD_ILS/0/SD_ILS:3015082024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Lee, Weng Fook. John Wiley & Sons, Inc.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://proquest.safaribooksonline.com/?fpi=9780471429760">Available by subscription from Safari Books Online</a>
<a href="http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html">http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471457566">http://dx.doi.org/10.1002/0471457566</a>
<a href="http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736">http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736</a>
Book review (E-STREAMS) <a href="http://www.e-streams.com/es0704/es0704%5F3161.html">http://www.e-streams.com/es0704/es0704%5F3161.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital logic testing and simulationent://SD_ILS/0/SD_ILS:3015092024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Miczo, Alexander.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://proquest.safaribooksonline.com/?fpi=9780471439950">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471457787">http://dx.doi.org/10.1002/0471457787</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley046/2003041100.html">http://catdir.loc.gov/catdir/bios/wiley046/2003041100.html</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780471439950">http://proquest.tech.safaribooksonline.de/9780471439950</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Logic of Concept Expansionent://SD_ILS/0/SD_ILS:2348802024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Buzaglo, Meir.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511487460">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computers : from logic to architectureent://SD_ILS/0/SD_ILS:931662024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Dowsing, R. (Roy) Woodhams, Frank. Marshall, Ian.<br/>Yer Numarası QA 76.9.A73 D45 2000<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of knowledge basesent://SD_ILS/0/SD_ILS:2199652024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Levesque, Hector J., 1951- Lakemeyer, Gerhard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Air logic control for automated systemsent://SD_ILS/0/SD_ILS:2849692024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Wojtecki, Rudy.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420050110">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hegel's science of logicent://SD_ILS/0/SD_ILS:3157982024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hegel, Georg Wilhelm Friedrich, 1770-1831. Miller, Arnold V.<br/>Yer Numarası B2942.E5 M55 1998<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Principles of logic and logic programmingent://SD_ILS/0/SD_ILS:2537402024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logic of chemical synthesisent://SD_ILS/0/SD_ILS:764872024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Corey, E. J. Cheng, Xue-min, ort. yaz.<br/>Yer Numarası QD 262 C577 1995<br/>Format: Kitap<br/>Durum Sağlık Bilimleri Kütüphanesi~1<br/>Organic reactions, simplicity and logicent://SD_ILS/0/SD_ILS:1089852024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Laszlo, Pierre.<br/>Yer Numarası QD253 .L3813 1995<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>From logic to logic programmingent://SD_ILS/0/SD_ILS:2201992024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Doets, Kees.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer architecture and logic designent://SD_ILS/0/SD_ILS:323802024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bartee, Thomas C.<br/>Yer Numarası QA 76.9.A73 B374 1991<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Leibniz's philosophy logic and languageent://SD_ILS/0/SD_ILS:3272024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ishiguro, Hide<br/>Yer Numarası B 2599.L8 I83 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Kotarbinski : logic, semantics, and ontologyent://SD_ILS/0/SD_ILS:712332024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Wolenski, J., ed.<br/>Yer Numarası B 4691.K594 K67 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Parallel computers : object-oriented, functional, logicent://SD_ILS/0/SD_ILS:715382024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Treleaven, P. C., ed.<br/>Yer Numarası QA 76.5 P314 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Systems programming in parallel logic languagesent://SD_ILS/0/SD_ILS:322342024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Foster, Ian, 1959-<br/>Yer Numarası QA 76.66 F67 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Foundations of equational logic programmingent://SD_ILS/0/SD_ILS:322332024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hölldobler, Steffen, 1957-<br/>Yer Numarası QA 76.63 H65 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The sociological logic of spaceent://SD_ILS/0/SD_ILS:192272024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hillier, Bill. Hanson, J., ort. yaz.<br/>Yer Numarası NA 2765 H558 1984<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The architectural logic of database systems.ent://SD_ILS/0/SD_ILS:325382024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Yannakoudakis, E. J., 1950-<br/>Yer Numarası QA 76.9.D3 Y36 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic programming and knowledge engineeringent://SD_ILS/0/SD_ILS:321782024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Amble, Tore, 1945-<br/>Yer Numarası QA 76.6 A464 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logic and programming languagesent://SD_ILS/0/SD_ILS:726872024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Yer Numarası QA 9 M42 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic testing and design for testabilityent://SD_ILS/0/SD_ILS:2201532024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Fujiwara, Hideo.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Logic of international relationsent://SD_ILS/0/SD_ILS:151592024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Jones, Walter S., 1938- Rosen, S. J., ort. yaz.<br/>Yer Numarası JX 1395 J73<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic circuits and microcomputer systemsent://SD_ILS/0/SD_ILS:587012024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Wiatrowski, Claude A. House, H., ort. yaz.<br/>Yer Numarası TK 7868.L6 W5 1980<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic design and switching theoryent://SD_ILS/0/SD_ILS:586982024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Muroga, Saburo.<br/>Yer Numarası TK 7868.L6 M87 1979<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Digital logic and computer designent://SD_ILS/0/SD_ILS:712462024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Mano, M. Morris.<br/>Yer Numarası TK 7888.3 M345 1979<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Problems and solutions in logic designent://SD_ILS/0/SD_ILS:712592024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Zissos, D.<br/>Yer Numarası TK 7868.L6 Z57 1979<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The linguistic basis of logic translationent://SD_ILS/0/SD_ILS:201062024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Otto, Herbert R.<br/>Yer Numarası P 306 O8 1978<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Digital circuits and logic designent://SD_ILS/0/SD_ILS:586902024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Lee, Samuel C.<br/>Yer Numarası TK 7868.D5 L4 1976<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Designing logic systems using state machinesent://SD_ILS/0/SD_ILS:589102024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Clare, Christopher R.<br/>Yer Numarası TK 7888.3 C6 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic : the study of deductive reasoningent://SD_ILS/0/SD_ILS:7392024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Yıldırım, Cemal.<br/>Yer Numarası BC 71 Y51 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Symbolic logic and mechanical theorem provingent://SD_ILS/0/SD_ILS:460402024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Chang, Chin-Liang, 1937- Lee, R. C., ed.<br/>Yer Numarası QA 9 C49 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Lawlikeness, analogy and inductive logicent://SD_ILS/0/SD_ILS:8182024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Pietarinen, Juhani.<br/>Yer Numarası BC 91 P6172 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Analog/logic computer programming and simulationent://SD_ILS/0/SD_ILS:346152024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ricci, Fred J.<br/>Yer Numarası QA 76.4 R53 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A mathematical introduction to logicent://SD_ILS/0/SD_ILS:460412024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Enderton, Herbert B.<br/>Yer Numarası QA 9 E54 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Threshold logic and its applicationsent://SD_ILS/0/SD_ILS:560482024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Muroga, Saburo.<br/>Yer Numarası QA 401 M85 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Deontic logic : introductory and systematic readingsent://SD_ILS/0/SD_ILS:7882024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hilpinen, Risto.<br/>Yer Numarası BC 145 H53 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Recursive function theory and logicent://SD_ILS/0/SD_ILS:26022024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Yasuhara, Ann.<br/>Yer Numarası QA 248.5 Y36 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Eighteenth-century British logic and rhetoricent://SD_ILS/0/SD_ILS:745672024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Howell, Wilbur Samuel, 1904-<br/>Yer Numarası BC 38 H59 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of the price systement://SD_ILS/0/SD_ILS:745962024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Trescott, Paul B.<br/>Yer Numarası HB 201 T67 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Term logic with choice operatorent://SD_ILS/0/SD_ILS:7612024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hermes, Hans.<br/>Yer Numarası BC 135 H4 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of comparative social inquiryent://SD_ILS/0/SD_ILS:72112024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Przeworski, Adam. Teune, Henry, ort. yaz.<br/>Yer Numarası H 62 P79 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A profile of mathematical logicent://SD_ILS/0/SD_ILS:460372024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar DeLong, Howard, 1936-<br/>Yer Numarası QA 9 B37 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and philosophy : a modern introductionent://SD_ILS/0/SD_ILS:7452024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Kahane, Howard, 1928-<br/>Yer Numarası BC 108 K3 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of explanation in psychoanalysisent://SD_ILS/0/SD_ILS:13392024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Sherwood, Michael.<br/>Yer Numarası BF 323.E8 S5 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of social inquiryent://SD_ILS/0/SD_ILS:71032024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Greer, Scott A.<br/>Yer Numarası H 61 G73 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An introduction to mathematical logicent://SD_ILS/0/SD_ILS:460502024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Robinson, Gerson B., 1909-<br/>Yer Numarası QA 9 R72 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An introduction to modal logicent://SD_ILS/0/SD_ILS:7442024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Hughes, G. E. Cresswell, M. J., ort. yaz.<br/>Yer Numarası BC 108 H874 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of survey analysisent://SD_ILS/0/SD_ILS:129402024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Rosenberg, Morris.<br/>Yer Numarası HN 29 R6 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Basic concepts of mathematics and logicent://SD_ILS/0/SD_ILS:460032024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Gemignani, Michael C.<br/>Yer Numarası QA 39 G2846 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An Introduction to many-valued logicent://SD_ILS/0/SD_ILS:460342024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ackermann, Robert John, 1933-<br/>Yer Numarası QA 9 A5 1967<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Logic and rhetoric of expositionent://SD_ILS/0/SD_ILS:209142024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Martin, Harold Clark. Ohmann, Richard M., ort. yaz.<br/>Yer Numarası PE 1429 M3<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and the basis of ethicsent://SD_ILS/0/SD_ILS:2337112024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Prior, A. N. (Arthur N.), 1914-1969.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198241577.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198241577.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The development of mathematical logicent://SD_ILS/0/SD_ILS:7742024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Nidditch, P. H.<br/>Yer Numarası BC 135 N5 1962<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>The logic of modern physicsent://SD_ILS/0/SD_ILS:450582024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Brigman, Percy Williams, 1882-<br/>Yer Numarası QC 6 B68 1960<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The elements of mathematical logicent://SD_ILS/0/SD_ILS:7762024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Rosenbloom, Paul C.<br/>Yer Numarası BC 135 R7236 1950<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic : the theory of inquiryent://SD_ILS/0/SD_ILS:8002024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Dewey, John, 1859-<br/>Yer Numarası BC 50 D43 1938<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic Pro 8 audio and music productionent://SD_ILS/0/SD_ILS:1479312024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Cousins, Mark. Hepworth-Sawyer, Russ.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240520476">http://www.sciencedirect.com/science/book/9780240520476</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of digital logic and microcomputer designent://SD_ILS/0/SD_ILS:3017662024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Rafiquzzaman, Mohamed.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={2ED0D2CE-7D20-4839-ABEF-9FDF71A0D9B8}&Format=50">Click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471733520">http://dx.doi.org/10.1002/0471733520</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780471733522">http://dx.doi.org/10.1002/9780471733522</a>
<a href="http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380">http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic on the track of social changeent://SD_ILS/0/SD_ILS:2346842024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Braybrooke, David. Brown, Bryson. Schotch, Peter K.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198235309.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198235309.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Judgement and the Epistemic Foundation of Logicent://SD_ILS/0/SD_ILS:3358952024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar van der Schaar, Maria. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335895.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-5137-8">http://dx.doi.org/10.1007/978-94-007-5137-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>McGraw-Hill's conquering LSAT logic gamesent://SD_ILS/0/SD_ILS:2940452024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Curvebreakers.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/mcgrawhills-conquering-lsat-logic-games-third-edition">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984ent://SD_ILS/0/SD_ILS:2569572024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879998">http://www.sciencedirect.com/science/book/9780444879998</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming proceedings of the Tenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202832024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming proceedings of the 1997 International Symposiument://SD_ILS/0/SD_ILS:2202732024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of quantum logic and quantum structures quantum logicent://SD_ILS/0/SD_ILS:1454482024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444528698">http://www.sciencedirect.com/science/book/9780444528698</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Inductive logic programming from machine learning to software engineeringent://SD_ILS/0/SD_ILS:2202672024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bergadano, Francesco, 1963- Gunetti, Daniele.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming proceedings of the twelfth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202752024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Sterling, Leon.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming proceedings of the eleventh International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202292024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Van Hentenryck, Pascal.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982ent://SD_ILS/0/SD_ILS:2568382024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444868763">http://www.sciencedirect.com/science/book/9780444868763</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976ent://SD_ILS/0/SD_ILS:2573062024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720406917">http://www.sciencedirect.com/science/book/9780720406917</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logicent://SD_ILS/0/SD_ILS:2572342024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864659">http://www.sciencedirect.com/science/book/9780444864659</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:2569582024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987ent://SD_ILS/0/SD_ILS:2570892024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985ent://SD_ILS/0/SD_ILS:2572462024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702111">http://www.sciencedirect.com/science/book/9780444702111</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980ent://SD_ILS/0/SD_ILS:2570862024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864765">http://www.sciencedirect.com/science/book/9780444864765</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981ent://SD_ILS/0/SD_ILS:2569532024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864178">http://www.sciencedirect.com/science/book/9780444864178</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978ent://SD_ILS/0/SD_ILS:2572332024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853783">http://www.sciencedirect.com/science/book/9780444853783</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977ent://SD_ILS/0/SD_ILS:2572592024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851789">http://www.sciencedirect.com/science/book/9780444851789</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IVent://SD_ILS/0/SD_ILS:1704322024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981ent://SD_ILS/0/SD_ILS:2569552024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444867063">http://www.sciencedirect.com/science/book/9780444867063</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966ent://SD_ILS/0/SD_ILS:2573182024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534149">http://www.sciencedirect.com/science/book/9780444534149</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971ent://SD_ILS/0/SD_ILS:2573022024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969ent://SD_ILS/0/SD_ILS:2572322024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991ent://SD_ILS/0/SD_ILS:2565552024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987ent://SD_ILS/0/SD_ILS:2571722024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444705204">http://www.sciencedirect.com/science/book/9780444705204</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979ent://SD_ILS/0/SD_ILS:2569522024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854230">http://www.sciencedirect.com/science/book/9780444854230</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978ent://SD_ILS/0/SD_ILS:2572602024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854025">http://www.sciencedirect.com/science/book/9780444854025</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976ent://SD_ILS/0/SD_ILS:2573612024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720407525">http://www.sciencedirect.com/science/book/9780720407525</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.ent://SD_ILS/0/SD_ILS:2572312024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422559">http://www.sciencedirect.com/science/book/9780720422559</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967ent://SD_ILS/0/SD_ILS:2573572024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534163">http://www.sciencedirect.com/science/book/9780444534163</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965ent://SD_ILS/0/SD_ILS:2572862024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology and philosophy of science proceedings of the 1960 international congressent://SD_ILS/0/SD_ILS:2572852024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780804700962">http://www.sciencedirect.com/science/book/9780804700962</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced fuzzy logic approaches in engineering scienceent://SD_ILS/0/SD_ILS:4817622024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Ram, Mangey, editor. IGI Global, publisher.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5709-8">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5709-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and discrete mathematics : a concise introductionent://SD_ILS/0/SD_ILS:3740002024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Yer Numarası QA9 C7423 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Later medieval metaphysics ontology, language, and logicent://SD_ILS/0/SD_ILS:2399042024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Keele, Rondo, 1968- Bolyard, Charles. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780823250233/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics of Fuzzy Sets and Fuzzy Logicent://SD_ILS/0/SD_ILS:3339502024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Bede, Barnabas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333950.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Independence-Friendly Logic A Game-Theoretic Approachent://SD_ILS/0/SD_ILS:2374142024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511981418">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linguistic Fuzzy Logic Methods in Social Sciencesent://SD_ILS/0/SD_ILS:1923052024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Arfi, Badredine. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13343-5">http://dx.doi.org/10.1007/978-3-642-13343-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Towards a Design Flow for Reversible Logicent://SD_ILS/0/SD_ILS:2055302024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9579-4">http://dx.doi.org/10.1007/978-90-481-9579-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:1720152024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Manin, Yu. I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-0615-1">http://dx.doi.org/10.1007/978-1-4419-0615-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Designing social research : the logic of anticipationent://SD_ILS/0/SD_ILS:3905472024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Blaikie, Norman W. H., 1933-<br/>Yer Numarası H61 B53 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The theory of gambling and statistical logicent://SD_ILS/0/SD_ILS:1469192024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Epstein, Richard A., 1927-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123749406">http://www.sciencedirect.com/science/book/9780123749406</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Practical Logic and Automated Reasoningent://SD_ILS/0/SD_ILS:2372062024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Harrison, John.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511576430">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Functions and Equations Examples and Exercisesent://SD_ILS/0/SD_ILS:1705832024-11-25T17:03:51Z2024-11-25T17:03:51ZYazar Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9595-5">http://dx.doi.org/10.1007/978-1-4020-9595-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>