Search Results for Logic - Narrowed by: English
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-12T18:16:12Z
Logic
ent://SD_ILS/0/SD_ILS:747
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Salmon, Wesley C., 1908-1931<br/>Preferred Shelf Number BC 108 S2 1963<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computational logic
ent://SD_ILS/0/SD_ILS:355347
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Preferred Shelf Number ONLINE(355347.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516244">http://www.sciencedirect.com/science/book/9780444516244</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatory logic
ent://SD_ILS/0/SD_ILS:257278
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533876">http://www.sciencedirect.com/science/book/9780444533876</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic demystified
ent://SD_ILS/0/SD_ILS:294115
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Boutelle, Anthony. Gibilisco, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic countdown
ent://SD_ILS/0/SD_ILS:386793
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Risby, Bonnie.<br/>Preferred Shelf Number LB1590.3 R57 2008<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic liftoff
ent://SD_ILS/0/SD_ILS:386727
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Risby, Bonnie. Crawford, Dean, illustrator.<br/>Preferred Shelf Number LB1590.3 R57 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Primarily logic
ent://SD_ILS/0/SD_ILS:386742
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Leimbach, Judy. Crawford, Dean. Crawford, Pat. Draze, Dianne.<br/>Preferred Shelf Number LB1590.3 L45 2005<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic
ent://SD_ILS/0/SD_ILS:303099
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Tourlakis, George J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic countdown
ent://SD_ILS/0/SD_ILS:386745
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Risby, Bonnie Lou. Crawford, Dean.<br/>Format: Books<br/>Availability ~0<br/>
Logic Safari
ent://SD_ILS/0/SD_ILS:386788
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Risby, Bonnie Lou. Palouda, Annelise.<br/>Preferred Shelf Number BC101 R57 2005 V.1<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Logic design
ent://SD_ILS/0/SD_ILS:290997
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Chen, Wai-Kai, 1936-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203010150">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical logic
ent://SD_ILS/0/SD_ILS:256600
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic logic
ent://SD_ILS/0/SD_ILS:219967
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic circuits
ent://SD_ILS/0/SD_ILS:58522
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Morris, Noel Malcolm.<br/>Preferred Shelf Number TK 7868.L6 M67 1983<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Symbolic logic
ent://SD_ILS/0/SD_ILS:756
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Copi, Irving M.<br/>Preferred Shelf Number BC 135 C58 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Elementary logic
ent://SD_ILS/0/SD_ILS:772
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Mates, Benson, 1919-<br/>Preferred Shelf Number BC 135 M37 1972 E<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Symbolic logic
ent://SD_ILS/0/SD_ILS:779
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Venn, John, 1834-1923.<br/>Preferred Shelf Number BC 135 V4 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Threshold logic
ent://SD_ILS/0/SD_ILS:38842
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Sheng, Ching-Lai.<br/>Preferred Shelf Number QA 401 S46 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Philosophical logic
ent://SD_ILS/0/SD_ILS:115971
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Strawson, P. F.<br/>Preferred Shelf Number BC6 S8 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introductory logic
ent://SD_ILS/0/SD_ILS:743
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Creighton, James Edwin, 1861-1924.<br/>Preferred Shelf Number BC 108 C87 1920<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Formal logic
ent://SD_ILS/0/SD_ILS:231501
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Prior, A. N. (Arthur N.), 1914-1969.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium 2007
ent://SD_ILS/0/SD_ILS:236783
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium 2006
ent://SD_ILS/0/SD_ILS:237775
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511605321">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium 2005
ent://SD_ILS/0/SD_ILS:236631
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511546464">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Epistemic Logic
ent://SD_ILS/0/SD_ILS:152432
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computability, complexity, logic
ent://SD_ILS/0/SD_ILS:257173
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Börger, E. (Egon), 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ancient formal logic
ent://SD_ILS/0/SD_ILS:257215
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bochenski, Joseph M., 1902-1995.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533678">http://www.sciencedirect.com/science/book/9780444533678</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Structure
ent://SD_ILS/0/SD_ILS:331010
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331010.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic the basics
ent://SD_ILS/0/SD_ILS:266548
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Beall, J. C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203851555">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Philosophy of logic
ent://SD_ILS/0/SD_ILS:148381
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Jacquette, Dale.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444515414">http://www.sciencedirect.com/science/book/9780444515414</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Orbiting with logic
ent://SD_ILS/0/SD_ILS:386741
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Risby, Bonnie Lou. Crawford, Dean.<br/>Preferred Shelf Number LB1590.3 R57 2005<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and structure
ent://SD_ILS/0/SD_ILS:97566
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Dalen, D. van.<br/>Preferred Shelf Number QA 9 D16 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Digital logic design
ent://SD_ILS/0/SD_ILS:254614
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Holdsworth, B. (Brian) Woods, R. C. (R. Clive)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750645829">http://www.sciencedirect.com/science/book/9780750645829</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and existence
ent://SD_ILS/0/SD_ILS:268429
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hyppolite, Jean.<br/>Preferred Shelf Number B2949.L8 H913 1997<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Advanced Logic Synthesis
ent://SD_ILS/0/SD_ILS:402203
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic in games
ent://SD_ILS/0/SD_ILS:364947
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.<br/>Preferred Shelf Number ONLINE(364947.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Synchronous precharge logic
ent://SD_ILS/0/SD_ILS:148585
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Smoszna, Marek.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123985279">http://www.sciencedirect.com/science/book/9780123985279</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:266562
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gensler, Harry J., 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203855003">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programmable logic controllers
ent://SD_ILS/0/SD_ILS:386120
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bolton, W. (William), 1933-<br/>Preferred Shelf Number TJ223.P76 B65 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Programmable logic controllers
ent://SD_ILS/0/SD_ILS:147414
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bolton, W. (William), 1933-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177511">http://www.sciencedirect.com/science/book/9781856177511</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stochastic Coalgebraic Logic
ent://SD_ILS/0/SD_ILS:190484
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Doberkat, Ernst-Erich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic in Reality
ent://SD_ILS/0/SD_ILS:170141
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Brenner, Joseph E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Programmable logic controllers
ent://SD_ILS/0/SD_ILS:254481
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bolton, W. (William), 1933-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750681124">http://www.sciencedirect.com/science/book/9780750681124</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Equational Logic
ent://SD_ILS/0/SD_ILS:183348
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105121">http://dx.doi.org/10.1007/b105121</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Contemporary logic design
ent://SD_ILS/0/SD_ILS:93154
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Katz, Randy H., 1955-<br/>Preferred Shelf Number TK 7888.4 K36 1994<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computability and logic
ent://SD_ILS/0/SD_ILS:71794
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Boolos, George S. Jeffrey, R. C., ort. yaz.<br/>Preferred Shelf Number QA 9.59 B66 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Systems of logic
ent://SD_ILS/0/SD_ILS:769
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Martin, Norman M.<br/>Preferred Shelf Number BC 135 M325 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic with prolog
ent://SD_ILS/0/SD_ILS:32327
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gibbins, Peter.<br/>Preferred Shelf Number QA 76.73.P76 G53 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic tools programming
ent://SD_ILS/0/SD_ILS:32217
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Pace, Philip, 1956- Pace, L., ort. yaz.<br/>Preferred Shelf Number QA 76.6 P325 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:746
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Packard, Dennis J. Faulconer, James E., ort. yaz.<br/>Preferred Shelf Number BC 108 P22 1980<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Computer logic design
ent://SD_ILS/0/SD_ILS:58709
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Mano, M. Morris, 1927-<br/>Preferred Shelf Number TK 7868.S9 M275 1972<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Logic for philosophers
ent://SD_ILS/0/SD_ILS:810
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Purtill, Richard L., 1931-<br/>Preferred Shelf Number BC 71 P86 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Sets and logic
ent://SD_ILS/0/SD_ILS:55371
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hanna, Samuel C. Saber, John C., ort. yaz.<br/>Preferred Shelf Number QA 248 H29 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:741
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Beach, John D.<br/>Preferred Shelf Number BC 108 B34 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Understanding symbolic logic
ent://SD_ILS/0/SD_ILS:770
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Massey, Gerald J.<br/>Preferred Shelf Number BC 135 M35 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic in teaching
ent://SD_ILS/0/SD_ILS:789
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ennis, Robert Hugh, 1927-<br/>Preferred Shelf Number BC 161.T4 E5 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Methods of logic
ent://SD_ILS/0/SD_ILS:801
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Quine, Willard Van Orman.<br/>Preferred Shelf Number BC 50 Q8 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and criticism
ent://SD_ILS/0/SD_ILS:2302
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Righter, William.<br/>Preferred Shelf Number BH 39 R5 1963<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:807
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Clark, Romane. Welsh, Paul, ort. yaz.<br/>Preferred Shelf Number BC 71 C5 1962<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic for mathematicians
ent://SD_ILS/0/SD_ILS:777
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Rosser, John Barkley, 1907-<br/>Preferred Shelf Number BC 135 R735 1953<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Handbook of Philosophical Logic
ent://SD_ILS/0/SD_ILS:152492
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Philosophical Logic
ent://SD_ILS/0/SD_ILS:152113
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of modal logic
ent://SD_ILS/0/SD_ILS:148544
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Thought and Action
ent://SD_ILS/0/SD_ILS:152117
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Vanderveken, Daniel. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Paraconsistency: Logic and Applications
ent://SD_ILS/0/SD_ILS:335759
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335759.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Computer Scientists
ent://SD_ILS/0/SD_ILS:168282
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Schöning, Uwe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Aspects of inductive logic
ent://SD_ILS/0/SD_ILS:257284
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534088">http://www.sciencedirect.com/science/book/9780444534088</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatory logic. Volume II
ent://SD_ILS/0/SD_ILS:257254
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422085">http://www.sciencedirect.com/science/book/9780720422085</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:364720
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Mendelson, Elliott.<br/>Preferred Shelf Number QA9 M4 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
VHDL for logic synthesis
ent://SD_ILS/0/SD_ILS:305729
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Rushton, Andrew.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Studies in Legal Logic
ent://SD_ILS/0/SD_ILS:152153
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hage, Jaap. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to medieval logic
ent://SD_ILS/0/SD_ILS:234298
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Broadie, Alexander.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of sense
ent://SD_ILS/0/SD_ILS:268366
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Deleuze, Gilles.<br/>Preferred Shelf Number B840 D3813 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Fundamentals of computer logic
ent://SD_ILS/0/SD_ILS:71244
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hutchison, David.<br/>Preferred Shelf Number TK 7888.4 H97 1981<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of poetry
ent://SD_ILS/0/SD_ILS:41469
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Monaco, Richard. Briggs, J., ort. yaz.<br/>Preferred Shelf Number PN 1059 M4 M6<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:46048
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Mendelson, Elliott.<br/>Preferred Shelf Number QA 9 M4 1964<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Advances in modal logic
ent://SD_ILS/0/SD_ILS:78063
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Logic Programming with Prolog
ent://SD_ILS/0/SD_ILS:331207
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bramer, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331207.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic: A Brief Course
ent://SD_ILS/0/SD_ILS:204617
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of education
ent://SD_ILS/0/SD_ILS:260949
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203138557">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aspects of Mathematical Logic
ent://SD_ILS/0/SD_ILS:191571
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Casari, E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Memory-Based Logic Synthesis
ent://SD_ILS/0/SD_ILS:173066
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Sasao, Tsutomu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The science of logic
ent://SD_ILS/0/SD_ILS:268387
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hegel, Georg Wilhelm Friedrich. Di Giovanni, George, 1935-<br/>Preferred Shelf Number B2942.E5 D5 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The science of logic
ent://SD_ILS/0/SD_ILS:144526
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic design of nanoICs
ent://SD_ILS/0/SD_ILS:286784
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420038293">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to logic design
ent://SD_ILS/0/SD_ILS:312389
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Marcovitz, Alan B.<br/>Preferred Shelf Number TK7868 L6 M355 2005<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic Programming with Prolog
ent://SD_ILS/0/SD_ILS:175316
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bramer, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy logic in geology
ent://SD_ILS/0/SD_ILS:255282
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Demicco, Robert V. Klir, George J., 1932-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124151468">http://www.sciencedirect.com/science/book/9780124151468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Thought and Language
ent://SD_ILS/0/SD_ILS:236078
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author O'Hear, Anthony.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511550287">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy logic in chemistry
ent://SD_ILS/0/SD_ILS:252583
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Rouvray, D. H.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780125989107">http://www.sciencedirect.com/science/book/9780125989107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic programming and databases
ent://SD_ILS/0/SD_ILS:69851
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.<br/>Preferred Shelf Number QA 76.63 C47 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Foundations of illocutionary logic
ent://SD_ILS/0/SD_ILS:20274
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Searle, John R.<br/>Preferred Shelf Number P 95.55 S42 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Fundamentals of logic design
ent://SD_ILS/0/SD_ILS:83158
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Roth, Charles H.<br/>Preferred Shelf Number TK 7868.L6 R67 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Fundamentals of logic design
ent://SD_ILS/0/SD_ILS:58700
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Roth, Charles H.<br/>Preferred Shelf Number TK 7868.L6 R67 1979<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of literature
ent://SD_ILS/0/SD_ILS:41530
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hamburger, Kate, 1896-<br/>Preferred Shelf Number PN 45 H3513 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic, automata, and algorithms
ent://SD_ILS/0/SD_ILS:33647
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Aiserman, Mark A.<br/>Preferred Shelf Number QA 267.5.S4 L613 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic, language, and metaphysics
ent://SD_ILS/0/SD_ILS:803
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Martin, Richard Milton.<br/>Preferred Shelf Number BC 51 M37 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Manual of logic circuits
ent://SD_ILS/0/SD_ILS:38835
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Maley, Gerald A.<br/>Preferred Shelf Number QA 401 M35 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of education
ent://SD_ILS/0/SD_ILS:16902
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hirst, Paul Haywood.<br/>Preferred Shelf Number LB 880 H59 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to symbolic logic
ent://SD_ILS/0/SD_ILS:775
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Pollock, John L.<br/>Preferred Shelf Number BC 135 P68 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of practice
ent://SD_ILS/0/SD_ILS:90557
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bourdieu, Pierre, 1930-2002<br/>Preferred Shelf Number GN 468 B6813 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Molecular logic-based computation
ent://SD_ILS/0/SD_ILS:343059
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Silva, A. Prasanna de.<br/>Preferred Shelf Number ONLINE(343059.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Integer Programming
ent://SD_ILS/0/SD_ILS:168006
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Williams, H. Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and information flow
ent://SD_ILS/0/SD_ILS:219894
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Eijck, J. van (Jan) Visser, Albert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic IC master reference
ent://SD_ILS/0/SD_ILS:254908
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Heiserman, David L., 1940-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123380500">http://www.sciencedirect.com/science/book/9780123380500</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of logic programming
ent://SD_ILS/0/SD_ILS:72686
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Lloyd, John Wylie, 1947-<br/>Preferred Shelf Number QA 76.6 L538 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic, automata, and algorithms
ent://SD_ILS/0/SD_ILS:257239
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Aĭzerman, M. A. (Mark Aronovich), 1913-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120463503">http://www.sciencedirect.com/science/book/9780120463503</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language, truth, and logic
ent://SD_ILS/0/SD_ILS:504
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ayer, Alfred Julies, 1910-<br/>Preferred Shelf Number B 53 A9 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Probability and inductive logic
ent://SD_ILS/0/SD_ILS:816
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Kyburg, Henry Ely, 1928-<br/>Preferred Shelf Number BC 91 K9 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Formal and transcendental logic
ent://SD_ILS/0/SD_ILS:74576
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Husserl, Edmund, 1859-1938.<br/>Preferred Shelf Number BC 122 H813 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Fulse and logic circuits
ent://SD_ILS/0/SD_ILS:37524
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gillie, Angelo C., ed.<br/>Preferred Shelf Number TK 7867 G54 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Set theory and logic
ent://SD_ILS/0/SD_ILS:103891
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Fraenkel, Abraham Adolf, 1891-1965.<br/>Preferred Shelf Number QA 248 F73 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and boolean algebra
ent://SD_ILS/0/SD_ILS:33609
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Arnold, Bradford Henry, 1916-<br/>Preferred Shelf Number QA 266 A7 1962<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Advanced digital logic concepts
ent://SD_ILS/0/SD_ILS:27638
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Preferred Shelf Number TK 7868.D5 A95 1983<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Hybrid Logic and its Proof-Theory
ent://SD_ILS/0/SD_ILS:205716
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Braüner, Torben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A grammatical view of logic programming
ent://SD_ILS/0/SD_ILS:220247
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Deransart, Pierre. Małuszyński, J. (Jan), 1941-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Gentzen Calculi for Modal Propositional Logic
ent://SD_ILS/0/SD_ILS:205557
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Poggiolesi, Francesca. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Philosophical Logic Volume 16
ent://SD_ILS/0/SD_ILS:205856
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of logic and language
ent://SD_ILS/0/SD_ILS:256543
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Benthem, Johan van, 1949- Meulen, Alice G. B. ter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817143">http://www.sciencedirect.com/science/book/9780444817143</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Philosophical Logic Volume 15
ent://SD_ILS/0/SD_ILS:205858
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Companion to philosophical logic
ent://SD_ILS/0/SD_ILS:300081
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Jacquette, Dale. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470996751">http://dx.doi.org/10.1002/9780470996751</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Greek, Indian, and Arabic logic
ent://SD_ILS/0/SD_ILS:256601
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504661">http://www.sciencedirect.com/science/book/9780444504661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Games: Unifying Logic, Language, and Philosophy
ent://SD_ILS/0/SD_ILS:170517
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Logic Foundations for Information Science
ent://SD_ILS/0/SD_ILS:198215
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Li, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Categorical logic and type theory
ent://SD_ILS/0/SD_ILS:256535
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Jacobs, Bart.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501707">http://www.sciencedirect.com/science/book/9780444501707</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and techniques in modal logic
ent://SD_ILS/0/SD_ILS:256549
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Kracht, Marcus.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500557">http://www.sciencedirect.com/science/book/9780444500557</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intuitionistic logic, model theory and forcing
ent://SD_ILS/0/SD_ILS:257225
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Fitting, Melvin, 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534187">http://www.sciencedirect.com/science/book/9780444534187</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Elements of mathematical logic (Model theory)
ent://SD_ILS/0/SD_ILS:257214
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534125">http://www.sciencedirect.com/science/book/9780444534125</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A survey of mathematical logic
ent://SD_ILS/0/SD_ILS:257354
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Wang, Hao, 1921-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533982">http://www.sciencedirect.com/science/book/9780444533982</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Truth and consequence in mediaeval logic
ent://SD_ILS/0/SD_ILS:257275
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Moody, Ernest A. (Ernest Addison), 1903-1975.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533760">http://www.sciencedirect.com/science/book/9780444533760</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The propositional logic of Boethius
ent://SD_ILS/0/SD_ILS:257316
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Dürr, Karl, 1888-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533661">http://www.sciencedirect.com/science/book/9780444533661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An essay in modal logic
ent://SD_ILS/0/SD_ILS:257345
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Wright, G. H. von (Georg Henrik), 1916-2003.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533708">http://www.sciencedirect.com/science/book/9780444533708</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic programming languages constraints, functions, and objects
ent://SD_ILS/0/SD_ILS:220224
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Pro 9 audio and music production
ent://SD_ILS/0/SD_ILS:147910
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Cousins, Mark, 1972- Hepworth-Sawyer, Russ.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240521930">http://www.sciencedirect.com/science/book/9780240521930</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the Second Scandinavian Logic Symposium
ent://SD_ILS/0/SD_ILS:257222
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422597">http://www.sciencedirect.com/science/book/9780720422597</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Chance, love and logic : philosophical essays
ent://SD_ILS/0/SD_ILS:67464
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Preferred Shelf Number B 945.P43 C5 1923 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Preferred Shelf Number QA 273.4 C37 1971-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
R-Calculus, IV: Propositional Logic
ent://SD_ILS/0/SD_ILS:520383
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520383.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic of analog and digital machines
ent://SD_ILS/0/SD_ILS:281465
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Rocchi, Paolo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Mechanical logic in three-dimensional space
ent://SD_ILS/0/SD_ILS:342612
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Auletta, Gennaro, author.<br/>Preferred Shelf Number ONLINE(342612.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9789814411516">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331853.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333922.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Purgatory the logic of total transformation
ent://SD_ILS/0/SD_ILS:233627
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Walls, Jerry L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Digital logic design a rigorous approach
ent://SD_ILS/0/SD_ILS:280400
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Even, Guy. Medina, Moti, 1979-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatory logic pure, applied and typed
ent://SD_ILS/0/SD_ILS:285121
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bimb,̤ Katalin, 1963-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439800010">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic : the laws of truth
ent://SD_ILS/0/SD_ILS:376248
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sr96">http://www.jstor.org/stable/10.2307/j.ctt7sr96</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Circuit Design Selected Methods
ent://SD_ILS/0/SD_ILS:196263
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Vingron, Shimon P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Sets, Logic and Maths for Computing
ent://SD_ILS/0/SD_ILS:173460
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Makinson, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Logic for Computer Science
ent://SD_ILS/0/SD_ILS:173540
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and the Organization of Information
ent://SD_ILS/0/SD_ILS:174190
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Frické, Martin. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical aspects of logic programming semantics
ent://SD_ILS/0/SD_ILS:285188
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hitzler, Pascal. Seda, Anthony.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of logic and language
ent://SD_ILS/0/SD_ILS:148146
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of positive engagement
ent://SD_ILS/0/SD_ILS:376132
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Nincic, Miroslav.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7591/j.ctt7v74h">http://www.jstor.org/stable/10.7591/j.ctt7v74h</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lollipop logic : grades K-2
ent://SD_ILS/0/SD_ILS:386782
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.<br/>Preferred Shelf Number BC71 R57 2011 V.1<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Modality metaphysics, logic, and epistemology
ent://SD_ILS/0/SD_ILS:233513
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hale, Bob, 1945- Hoffmann, Aviv.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete structures, logic, and computability
ent://SD_ILS/0/SD_ILS:268313
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hein, James L.<br/>Preferred Shelf Number QA76.9.M35 H44 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Data integration the relational logic approach
ent://SD_ILS/0/SD_ILS:279149
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Genesereth, Michael R., 1948-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy logic and hydrological modeling
ent://SD_ILS/0/SD_ILS:287898
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author ?en, Zekí.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439809402">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic the question of truth
ent://SD_ILS/0/SD_ILS:245516
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780253004451/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy logic with engineering applications
ent://SD_ILS/0/SD_ILS:304142
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ross, Timothy J. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:172186
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Cell Behavior and Fuzzy Logic
ent://SD_ILS/0/SD_ILS:164685
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Sandler, Uziel. editor. Tsitolovsky, Lev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Lectures on logic : Berlin, 1831
ent://SD_ILS/0/SD_ILS:268370
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hegel, Georg Wilhelm Friedrich. Butler, Clark, 1944-<br/>Preferred Shelf Number B2944.V652 E5 2008<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and computer design fundamentals
ent://SD_ILS/0/SD_ILS:109876
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Mano, M. Morris Kime, Charles R., ort. yaz.<br/>Preferred Shelf Number TK7888.4 M36 2008<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Digital electronics and logic design
ent://SD_ILS/0/SD_ILS:385968
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Nair, B. Somanathan.<br/>Preferred Shelf Number TK7868.D5 N35 2008<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Temporal Logic and State Systems
ent://SD_ILS/0/SD_ILS:185537
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Sets, Logic and Maths for Computing
ent://SD_ILS/0/SD_ILS:175593
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Makinson, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Elementary Logic For Software Development
ent://SD_ILS/0/SD_ILS:175702
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Lover, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:167320
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Srivastava, S. M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Extensionalism The Revolution in Logic
ent://SD_ILS/0/SD_ILS:170054
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bar-Am, Nimrod. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy logic with engineering applications
ent://SD_ILS/0/SD_ILS:109033
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ross, Timothy J.<br/>Preferred Shelf Number TA331 R675 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic : informal, symbolic and inductive
ent://SD_ILS/0/SD_ILS:371896
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Chakraborti, Chhanda.<br/>Preferred Shelf Number BC91 C42 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to Fuzzy Logic using MATLAB
ent://SD_ILS/0/SD_ILS:184305
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Quantifiers in language and logic
ent://SD_ILS/0/SD_ILS:233549
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Peters, Stanley, 1941- Westerståhl, Dag, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Theories of Judgment Psychology, Logic, Phenomenology
ent://SD_ILS/0/SD_ILS:238563
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Martin, Wayne.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511487613">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy logic and the semantic web
ent://SD_ILS/0/SD_ILS:253723
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Sanchez, Elie, 1944-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444519481">http://www.sciencedirect.com/science/book/9780444519481</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:166020
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic Applications in Engineering Science
ent://SD_ILS/0/SD_ILS:169075
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Rigid Flexibility The Logic of Intelligence
ent://SD_ILS/0/SD_ILS:169355
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Wang, Pei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Grounded Consequence for Defeasible Logic
ent://SD_ILS/0/SD_ILS:234960
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Antonelli, Aldo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511498411">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Philosophical Logic, 2nd Edition
ent://SD_ILS/0/SD_ILS:152150
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic, Identification and Predictive Control
ent://SD_ILS/0/SD_ILS:175220
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138626">http://dx.doi.org/10.1007/b138626</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic in Financial Analysis
ent://SD_ILS/0/SD_ILS:183311
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Relevant Logic A Philosophical Interpretation
ent://SD_ILS/0/SD_ILS:235503
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Mares, Edwin D..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511520006">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linear Logic in Computer Science
ent://SD_ILS/0/SD_ILS:237736
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy logic for embedded systems applications
ent://SD_ILS/0/SD_ILS:254206
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ibrahim, Ahmad M., 1951-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750676052">http://www.sciencedirect.com/science/book/9780750676052</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probability theory : the logic of science
ent://SD_ILS/0/SD_ILS:97516
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Jaynes, E. T. Bretthorst, G. Larry, ed.<br/>Preferred Shelf Number QA 273 J36 2003<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and computer design fundamentals
ent://SD_ILS/0/SD_ILS:97715
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Mano, M. Morris Kime, Charles R., ort. yaz.<br/>Preferred Shelf Number TK 7888.4 M36 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Genetics and the logic of evolution
ent://SD_ILS/0/SD_ILS:301571
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Weiss, Kenneth M. Buchanan, Anne. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Design of logic-based intelligent systems
ent://SD_ILS/0/SD_ILS:301732
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Truemper, K., 1942- John Wiley & Sons, Inc.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic and logic in computer systems
ent://SD_ILS/0/SD_ILS:301753
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Lu, Mi.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Probability Theory The Logic of Science
ent://SD_ILS/0/SD_ILS:237357
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Jaynes, E. T.. Bretthorst, G. Larry.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511790423">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verilog coding for logic synthesis
ent://SD_ILS/0/SD_ILS:301508
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Lee, Weng Fook. John Wiley & Sons, Inc.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Digital logic testing and simulation
ent://SD_ILS/0/SD_ILS:301509
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Miczo, Alexander.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Logic of Concept Expansion
ent://SD_ILS/0/SD_ILS:234880
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Buzaglo, Meir.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511487460">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of knowledge bases
ent://SD_ILS/0/SD_ILS:219965
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Levesque, Hector J., 1951- Lakemeyer, Gerhard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Computers : from logic to architecture
ent://SD_ILS/0/SD_ILS:93166
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Dowsing, R. (Roy) Woodhams, Frank. Marshall, Ian.<br/>Preferred Shelf Number QA 76.9.A73 D45 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Air logic control for automated systems
ent://SD_ILS/0/SD_ILS:284969
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Wojtecki, Rudy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420050110">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hegel's science of logic
ent://SD_ILS/0/SD_ILS:315798
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hegel, Georg Wilhelm Friedrich, 1770-1831. Miller, Arnold V.<br/>Preferred Shelf Number B2942.E5 M55 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Principles of logic and logic programming
ent://SD_ILS/0/SD_ILS:253740
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Organic reactions, simplicity and logic
ent://SD_ILS/0/SD_ILS:108985
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Laszlo, Pierre.<br/>Preferred Shelf Number QD253 .L3813 1995<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of chemical synthesis
ent://SD_ILS/0/SD_ILS:76487
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Corey, E. J. Cheng, Xue-min, ort. yaz.<br/>Preferred Shelf Number QD 262 C577 1995<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>
From logic to logic programming
ent://SD_ILS/0/SD_ILS:220199
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Doets, Kees.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer architecture and logic design
ent://SD_ILS/0/SD_ILS:32380
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bartee, Thomas C.<br/>Preferred Shelf Number QA 76.9.A73 B374 1991<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Kotarbinski : logic, semantics, and ontology
ent://SD_ILS/0/SD_ILS:71233
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Wolenski, J., ed.<br/>Preferred Shelf Number B 4691.K594 K67 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Parallel computers : object-oriented, functional, logic
ent://SD_ILS/0/SD_ILS:71538
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Treleaven, P. C., ed.<br/>Preferred Shelf Number QA 76.5 P314 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Leibniz's philosophy logic and language
ent://SD_ILS/0/SD_ILS:327
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ishiguro, Hide<br/>Preferred Shelf Number B 2599.L8 I83 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Systems programming in parallel logic languages
ent://SD_ILS/0/SD_ILS:32234
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Foster, Ian, 1959-<br/>Preferred Shelf Number QA 76.66 F67 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Foundations of equational logic programming
ent://SD_ILS/0/SD_ILS:32233
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hölldobler, Steffen, 1957-<br/>Preferred Shelf Number QA 76.63 H65 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The sociological logic of space
ent://SD_ILS/0/SD_ILS:19227
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hillier, Bill. Hanson, J., ort. yaz.<br/>Preferred Shelf Number NA 2765 H558 1984<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The architectural logic of database systems.
ent://SD_ILS/0/SD_ILS:32538
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Yannakoudakis, E. J., 1950-<br/>Preferred Shelf Number QA 76.9.D3 Y36 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic programming and knowledge engineering
ent://SD_ILS/0/SD_ILS:32178
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Amble, Tore, 1945-<br/>Preferred Shelf Number QA 76.6 A464 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic testing and design for testability
ent://SD_ILS/0/SD_ILS:220153
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Fujiwara, Hideo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical logic and programming languages
ent://SD_ILS/0/SD_ILS:72687
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Preferred Shelf Number QA 9 M42 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The Logic of international relations
ent://SD_ILS/0/SD_ILS:15159
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Jones, Walter S., 1938- Rosen, S. J., ort. yaz.<br/>Preferred Shelf Number JX 1395 J73<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic circuits and microcomputer systems
ent://SD_ILS/0/SD_ILS:58701
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Wiatrowski, Claude A. House, H., ort. yaz.<br/>Preferred Shelf Number TK 7868.L6 W5 1980<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Digital logic and computer design
ent://SD_ILS/0/SD_ILS:71246
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Mano, M. Morris.<br/>Preferred Shelf Number TK 7888.3 M345 1979<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Problems and solutions in logic design
ent://SD_ILS/0/SD_ILS:71259
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Zissos, D.<br/>Preferred Shelf Number TK 7868.L6 Z57 1979<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic design and switching theory
ent://SD_ILS/0/SD_ILS:58698
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Muroga, Saburo.<br/>Preferred Shelf Number TK 7868.L6 M87 1979<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The linguistic basis of logic translation
ent://SD_ILS/0/SD_ILS:20106
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Otto, Herbert R.<br/>Preferred Shelf Number P 306 O8 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Digital circuits and logic design
ent://SD_ILS/0/SD_ILS:58690
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Lee, Samuel C.<br/>Preferred Shelf Number TK 7868.D5 L4 1976<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Symbolic logic and mechanical theorem proving
ent://SD_ILS/0/SD_ILS:46040
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Chang, Chin-Liang, 1937- Lee, R. C., ed.<br/>Preferred Shelf Number QA 9 C49 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic : the study of deductive reasoning
ent://SD_ILS/0/SD_ILS:739
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Yıldırım, Cemal.<br/>Preferred Shelf Number BC 71 Y51 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Designing logic systems using state machines
ent://SD_ILS/0/SD_ILS:58910
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Clare, Christopher R.<br/>Preferred Shelf Number TK 7888.3 C6 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A mathematical introduction to logic
ent://SD_ILS/0/SD_ILS:46041
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Enderton, Herbert B.<br/>Preferred Shelf Number QA 9 E54 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Analog/logic computer programming and simulation
ent://SD_ILS/0/SD_ILS:34615
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ricci, Fred J.<br/>Preferred Shelf Number QA 76.4 R53 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Lawlikeness, analogy and inductive logic
ent://SD_ILS/0/SD_ILS:818
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Pietarinen, Juhani.<br/>Preferred Shelf Number BC 91 P6172 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Eighteenth-century British logic and rhetoric
ent://SD_ILS/0/SD_ILS:74567
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Howell, Wilbur Samuel, 1904-<br/>Preferred Shelf Number BC 38 H59 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Deontic logic : introductory and systematic readings
ent://SD_ILS/0/SD_ILS:788
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hilpinen, Risto.<br/>Preferred Shelf Number BC 145 H53 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Recursive function theory and logic
ent://SD_ILS/0/SD_ILS:2602
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Yasuhara, Ann.<br/>Preferred Shelf Number QA 248.5 Y36 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Threshold logic and its applications
ent://SD_ILS/0/SD_ILS:56048
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Muroga, Saburo.<br/>Preferred Shelf Number QA 401 M85 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A profile of mathematical logic
ent://SD_ILS/0/SD_ILS:46037
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author DeLong, Howard, 1936-<br/>Preferred Shelf Number QA 9 B37 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of the price system
ent://SD_ILS/0/SD_ILS:74596
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Trescott, Paul B.<br/>Preferred Shelf Number HB 201 T67 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of comparative social inquiry
ent://SD_ILS/0/SD_ILS:7211
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Przeworski, Adam. Teune, Henry, ort. yaz.<br/>Preferred Shelf Number H 62 P79 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Term logic with choice operator
ent://SD_ILS/0/SD_ILS:761
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hermes, Hans.<br/>Preferred Shelf Number BC 135 H4 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:46050
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Robinson, Gerson B., 1909-<br/>Preferred Shelf Number QA 9 R72 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of social inquiry
ent://SD_ILS/0/SD_ILS:7103
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Greer, Scott A.<br/>Preferred Shelf Number H 61 G73 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and philosophy : a modern introduction
ent://SD_ILS/0/SD_ILS:745
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Kahane, Howard, 1928-<br/>Preferred Shelf Number BC 108 K3 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of explanation in psychoanalysis
ent://SD_ILS/0/SD_ILS:1339
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Sherwood, Michael.<br/>Preferred Shelf Number BF 323.E8 S5 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Basic concepts of mathematics and logic
ent://SD_ILS/0/SD_ILS:46003
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Gemignani, Michael C.<br/>Preferred Shelf Number QA 39 G2846 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logic of survey analysis
ent://SD_ILS/0/SD_ILS:12940
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Rosenberg, Morris.<br/>Preferred Shelf Number HN 29 R6 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An introduction to modal logic
ent://SD_ILS/0/SD_ILS:744
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Hughes, G. E. Cresswell, M. J., ort. yaz.<br/>Preferred Shelf Number BC 108 H874 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An Introduction to many-valued logic
ent://SD_ILS/0/SD_ILS:46034
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ackermann, Robert John, 1933-<br/>Preferred Shelf Number QA 9 A5 1967<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The Logic and rhetoric of exposition
ent://SD_ILS/0/SD_ILS:20914
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Martin, Harold Clark. Ohmann, Richard M., ort. yaz.<br/>Preferred Shelf Number PE 1429 M3<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and the basis of ethics
ent://SD_ILS/0/SD_ILS:233711
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Prior, A. N. (Arthur N.), 1914-1969.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
The development of mathematical logic
ent://SD_ILS/0/SD_ILS:774
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Nidditch, P. H.<br/>Preferred Shelf Number BC 135 N5 1962<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The logic of modern physics
ent://SD_ILS/0/SD_ILS:45058
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Brigman, Percy Williams, 1882-<br/>Preferred Shelf Number QC 6 B68 1960<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The elements of mathematical logic
ent://SD_ILS/0/SD_ILS:776
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Rosenbloom, Paul C.<br/>Preferred Shelf Number BC 135 R7236 1950<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic : the theory of inquiry
ent://SD_ILS/0/SD_ILS:800
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Dewey, John, 1859-<br/>Preferred Shelf Number BC 50 D43 1938<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic Pro 8 audio and music production
ent://SD_ILS/0/SD_ILS:147931
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Cousins, Mark. Hepworth-Sawyer, Russ.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240520476">http://www.sciencedirect.com/science/book/9780240520476</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of digital logic and microcomputer design
ent://SD_ILS/0/SD_ILS:301766
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Rafiquzzaman, Mohamed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic on the track of social change
ent://SD_ILS/0/SD_ILS:234684
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Braybrooke, David. Brown, Bryson. Schotch, Peter K.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Judgement and the Epistemic Foundation of Logic
ent://SD_ILS/0/SD_ILS:335895
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author van der Schaar, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335895.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
McGraw-Hill's conquering LSAT logic games
ent://SD_ILS/0/SD_ILS:294045
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Curvebreakers.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/mcgrawhills-conquering-lsat-logic-games-third-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984
ent://SD_ILS/0/SD_ILS:256957
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879998">http://www.sciencedirect.com/science/book/9780444879998</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic programming proceedings of the Tenth International Conference on Logic Programming
ent://SD_ILS/0/SD_ILS:220283
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic programming proceedings of the 1997 International Symposium
ent://SD_ILS/0/SD_ILS:220273
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of quantum logic and quantum structures quantum logic
ent://SD_ILS/0/SD_ILS:145448
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444528698">http://www.sciencedirect.com/science/book/9780444528698</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive logic programming from machine learning to software engineering
ent://SD_ILS/0/SD_ILS:220267
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bergadano, Francesco, 1963- Gunetti, Daniele.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic programming proceedings of the twelfth International Conference on Logic Programming
ent://SD_ILS/0/SD_ILS:220275
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Sterling, Leon.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic programming proceedings of the eleventh International Conference on Logic Programming
ent://SD_ILS/0/SD_ILS:220229
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Van Hentenryck, Pascal.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
ent://SD_ILS/0/SD_ILS:256838
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444868763">http://www.sciencedirect.com/science/book/9780444868763</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
ent://SD_ILS/0/SD_ILS:257306
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720406917">http://www.sciencedirect.com/science/book/9780720406917</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
ent://SD_ILS/0/SD_ILS:257234
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864659">http://www.sciencedirect.com/science/book/9780444864659</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
ent://SD_ILS/0/SD_ILS:256958
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
ent://SD_ILS/0/SD_ILS:257089
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
ent://SD_ILS/0/SD_ILS:257246
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702111">http://www.sciencedirect.com/science/book/9780444702111</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981
ent://SD_ILS/0/SD_ILS:256953
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864178">http://www.sciencedirect.com/science/book/9780444864178</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
ent://SD_ILS/0/SD_ILS:257086
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864765">http://www.sciencedirect.com/science/book/9780444864765</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
ent://SD_ILS/0/SD_ILS:257233
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853783">http://www.sciencedirect.com/science/book/9780444853783</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
ent://SD_ILS/0/SD_ILS:257259
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851789">http://www.sciencedirect.com/science/book/9780444851789</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
ent://SD_ILS/0/SD_ILS:170432
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981
ent://SD_ILS/0/SD_ILS:256955
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444867063">http://www.sciencedirect.com/science/book/9780444867063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
ent://SD_ILS/0/SD_ILS:257318
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534149">http://www.sciencedirect.com/science/book/9780444534149</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
ent://SD_ILS/0/SD_ILS:257302
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
ent://SD_ILS/0/SD_ILS:257232
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format: Electronic Resources<br/>Availability Online Library~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, 1991
ent://SD_ILS/0/SD_ILS:256555
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987
ent://SD_ILS/0/SD_ILS:257172
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444705204">http://www.sciencedirect.com/science/book/9780444705204</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
ent://SD_ILS/0/SD_ILS:256952
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854230">http://www.sciencedirect.com/science/book/9780444854230</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
ent://SD_ILS/0/SD_ILS:257260
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854025">http://www.sciencedirect.com/science/book/9780444854025</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
ent://SD_ILS/0/SD_ILS:257361
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720407525">http://www.sciencedirect.com/science/book/9780720407525</a><br/>Format: Electronic Resources<br/>Availability Online Library~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:257231
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422559">http://www.sciencedirect.com/science/book/9780720422559</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967
ent://SD_ILS/0/SD_ILS:257357
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534163">http://www.sciencedirect.com/science/book/9780444534163</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
ent://SD_ILS/0/SD_ILS:257286
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, methodology and philosophy of science proceedings of the 1960 international congress
ent://SD_ILS/0/SD_ILS:257285
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780804700962">http://www.sciencedirect.com/science/book/9780804700962</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced fuzzy logic approaches in engineering science
ent://SD_ILS/0/SD_ILS:481762
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Ram, Mangey, editor. IGI Global, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and discrete mathematics : a concise introduction
ent://SD_ILS/0/SD_ILS:374000
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Preferred Shelf Number QA9 C7423 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Later medieval metaphysics ontology, language, and logic
ent://SD_ILS/0/SD_ILS:239904
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Keele, Rondo, 1968- Bolyard, Charles. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780823250233/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Fuzzy Sets and Fuzzy Logic
ent://SD_ILS/0/SD_ILS:333950
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Bede, Barnabas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333950.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Independence-Friendly Logic A Game-Theoretic Approach
ent://SD_ILS/0/SD_ILS:237414
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511981418">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards a Design Flow for Reversible Logic
ent://SD_ILS/0/SD_ILS:205530
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Designing social research : the logic of anticipation
ent://SD_ILS/0/SD_ILS:390547
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Blaikie, Norman W. H., 1933-<br/>Preferred Shelf Number H61 B53 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Linguistic Fuzzy Logic Methods in Social Sciences
ent://SD_ILS/0/SD_ILS:192305
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Arfi, Badredine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Course in Mathematical Logic for Mathematicians
ent://SD_ILS/0/SD_ILS:172015
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Manin, Yu. I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Truth, etc. six lectures on ancient logic
ent://SD_ILS/0/SD_ILS:233643
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Barnes, Jonathan, 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Practical Logic and Automated Reasoning
ent://SD_ILS/0/SD_ILS:237206
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Harrison, John.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511576430">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of digital logic with VHDL design
ent://SD_ILS/0/SD_ILS:271391
2024-09-12T18:16:12Z
2024-09-12T18:16:12Z
Author Brown, Stephen D. Vranesic, Zvonko G.<br/>Preferred Shelf Number TK7888.4 B76 2009<br/>Format: Books<br/>Availability Beytepe Library~1<br/>