Search Results for Logic - Narrowed by: Online Library

Computational logic

2026-03-21T14:25:22Z

Preferred Shelf Number ONLINE(355347.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444516244
Format: Electronic Resources
Availability Online Library~1

Combinatory logic

2026-03-21T14:25:22Z

Author Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533876
Format: Electronic Resources
Availability Online Library~1

Logic demystified

2026-03-21T14:25:22Z

Author Boutelle, Anthony. Gibilisco, Stan.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Mathematical logic

2026-03-21T14:25:22Z

Author Tourlakis, George J.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118032435
Format: Electronic Resources
Availability Online Library~1

Logic design

2026-03-21T14:25:22Z

Author Chen, Wai-Kai, 1936-
Preferred Shelf Number TK7868 .L6 V63 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mathematical logic

2026-03-21T14:25:22Z

Author Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444504234
Format: Electronic Resources
Availability Online Library~1

Dynamic logic

2026-03-21T14:25:22Z

Author Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: Electronic Resources
Availability Online Library~1

Formal logic

2026-03-21T14:25:22Z

Author Prior, A. N. (Arthur N.), 1914-1969.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198241560.001.0001
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 2007

2026-03-21T14:25:22Z

Author Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 2006

2026-03-21T14:25:22Z

Author Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 2005

2026-03-21T14:25:22Z

Author Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Dynamic Epistemic Logic

2026-03-21T14:25:22Z

Author Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5839-4
Format: Electronic Resources
Availability Online Library~1

Computability, complexity, logic

2026-03-21T14:25:22Z

Author Börger, E. (Egon), 1946-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: Electronic Resources
Availability Online Library~1

Ancient formal logic

2026-03-21T14:25:22Z

Author Bochenski, Joseph M., 1902-1995.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533678
Format: Electronic Resources
Availability Online Library~1

Archaeology of logic

2026-03-21T14:25:22Z

Author Schumann, Andrew, author.
Preferred Shelf Number K213
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003316466 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Logic and Structure

2026-03-21T14:25:22Z

Author Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331010.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: Electronic Resources
Availability Online Library~1

Logic the basics

2026-03-21T14:25:22Z

Author Beall, J. C.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Philosophy of logic

2026-03-21T14:25:22Z

Author Jacquette, Dale.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444515414
Format: Electronic Resources
Availability Online Library~1

Digital logic design

2026-03-21T14:25:22Z

Author Holdsworth, B. (Brian) Woods, R. C. (R. Clive)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750645829
Format: Electronic Resources
Availability Online Library~1

MYSTICISM AND LOGIC

2026-03-21T14:25:22Z

Author Russell, Bertrand, 1872-1970.
Preferred Shelf Number B1649 .R93
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003604990 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Understanding Logic Locking

2026-03-21T14:25:22Z

Author Zamiri Azar, Kimia. author. Mardani Kamali, Hadi. author. Farahmandi, Farimah. author. Tehranipoor, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37989-5
Format: Electronic Resources
Availability Online Library~1

Advanced Logic Synthesis

2026-03-21T14:25:22Z

Author Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67295-3
Format: Electronic Resources
Availability Online Library~1

Logic in games

2026-03-21T14:25:22Z

Author Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364947.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151
Format: Electronic Resources
Availability Online Library~1

Synchronous precharge logic

2026-03-21T14:25:22Z

Author Smoszna, Marek.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123985279
Format: Electronic Resources
Availability Online Library~1

Introduction to logic

2026-03-21T14:25:22Z

Author Gensler, Harry J., 1945-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Programmable logic controllers

2026-03-21T14:25:22Z

Author Bolton, W. (William), 1933-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
Format: Electronic Resources
Availability Online Library~1

Stochastic Coalgebraic Logic

2026-03-21T14:25:22Z

Author Doberkat, Ernst-Erich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02995-0
Format: Electronic Resources
Availability Online Library~1

Logic in Reality

2026-03-21T14:25:22Z

Author Brenner, Joseph E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8375-4
Format: Electronic Resources
Availability Online Library~1

Programmable logic controllers

2026-03-21T14:25:22Z

Author Bolton, W. (William), 1933-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750681124
Format: Electronic Resources
Availability Online Library~1

Fuzzy Equational Logic

2026-03-21T14:25:22Z

Author Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105121
Format: Electronic Resources
Availability Online Library~1

LOGIC AND KNOWLEDGE

2026-03-21T14:25:22Z

Author Russell, Bertrand, 1872-1970, author.
Preferred Shelf Number B1649 .R94
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003605096 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic

2026-03-21T14:25:22Z

Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic

2026-03-21T14:25:22Z

Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3092-4
Format: Electronic Resources
Availability Online Library~1

Handbook of modal logic

2026-03-21T14:25:22Z

Author Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.
Preferred Shelf Number ONLINE
Electronic Access Full text ScienceDirect http://www.sciencedirect.com/science/book/9780444516909
Format: Electronic Resources
Availability Online Library~1

Logic, Thought and Action

2026-03-21T14:25:22Z

Author Vanderveken, Daniel. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3167-X
Format: Electronic Resources
Availability Online Library~1

Paraconsistency: Logic and Applications

2026-03-21T14:25:22Z

Author Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335759.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Electronic Resources
Availability Online Library~1

Logic for Computer Scientists

2026-03-21T14:25:22Z

Author Schöning, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: Electronic Resources
Availability Online Library~1

Aspects of inductive logic

2026-03-21T14:25:22Z

Author Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534088
Format: Electronic Resources
Availability Online Library~1

Combinatory logic. Volume II

2026-03-21T14:25:22Z

Author Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422085
Format: Electronic Resources
Availability Online Library~1

VHDL for logic synthesis

2026-03-21T14:25:22Z

Author Rushton, Andrew.
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=41715 John Wiley http://dx.doi.org/10.1002/9781119995852 http://proquest.safaribooksonline.com/?fpi=9780470688472 Cover image http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg http://proquest.safaribooksonline.com/9780470688472
Format: Electronic Resources
Availability Online Library~1

Studies in Legal Logic

2026-03-21T14:25:22Z

Author Hage, Jaap. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3552-7
Format: Electronic Resources
Availability Online Library~1

Introduction to medieval logic

2026-03-21T14:25:22Z

Author Broadie, Alexander.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001
Format: Electronic Resources
Availability Online Library~1

Logic in Computer Science

2026-03-21T14:25:22Z

Author Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9816-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Soft Logic

2026-03-21T14:25:22Z

Author Klein, Moshe. author. Maimon, Oded. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58233-2
Format: Electronic Resources
Availability Online Library~1

Introduction to fuzzy logic

2026-03-21T14:25:22Z

Author Peckol, James K., author. John Wiley & Sons, publisher.
Preferred Shelf Number QA9.64 .P43 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
Format: Electronic Resources
Availability Online Library~1

Digital Logic for Computing

2026-03-21T14:25:22Z

Author Seiffertt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56839-3
Format: Electronic Resources
Availability Online Library~1

Logic Programming with Prolog

2026-03-21T14:25:22Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331207.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: Electronic Resources
Availability Online Library~1

Logic: A Brief Course

2026-03-21T14:25:22Z

Author Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-2361-1
Format: Electronic Resources
Availability Online Library~1

The logic of education

2026-03-21T14:25:22Z

Author Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Memory-Based Logic Synthesis

2026-03-21T14:25:22Z

Author Sasao, Tsutomu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8104-2
Format: Electronic Resources
Availability Online Library~1

Aspects of Mathematical Logic

2026-03-21T14:25:22Z

Author Casari, E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11080-1
Format: Electronic Resources
Availability Online Library~1

The science of logic

2026-03-21T14:25:22Z

Author Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358
Format: Electronic Resources
Availability Online Library~1

Logic Programming with Prolog

2026-03-21T14:25:22Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-212-8
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic in geology

2026-03-21T14:25:22Z

Author Demicco, Robert V. Klir, George J., 1932-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124151468
Format: Electronic Resources
Availability Online Library~1

Logic, Thought and Language

2026-03-21T14:25:22Z

Author O'Hear, Anthony.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic in chemistry

2026-03-21T14:25:22Z

Author Rouvray, D. H.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780125989107
Format: Electronic Resources
Availability Online Library~1

Molecular logic-based computation

2026-03-21T14:25:22Z

Author Silva, A. Prasanna de.
Preferred Shelf Number ONLINE(343059.1)
Electronic Access Check for Full Text Access restricted: MSVU users only Royal Society of Chemistry http://dx.doi.org/10.1039/9781849733021 ebrary http://site.ebrary.com/id/10640412 http://swb.eblib.com/patron/FullRecord.aspx?p=1185759
Format: Electronic Resources
Availability Online Library~1

Logic and Integer Programming

2026-03-21T14:25:22Z

Author Williams, H. Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-92280-5
Format: Electronic Resources
Availability Online Library~1

Logic design of nanoICs

2026-03-21T14:25:22Z

Author Yanushkevich, Svetlana N., author. Shmerko, Vlad P. Lyshevski, Sergey Edward.
Preferred Shelf Number TK7874.8 .Y36 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Logic and information flow

2026-03-21T14:25:22Z

Author Eijck, J. van (Jan) Visser, Albert.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: Electronic Resources
Availability Online Library~1

Logic IC master reference

2026-03-21T14:25:22Z

Author Heiserman, David L., 1940-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123380500
Format: Electronic Resources
Availability Online Library~1

Logic, automata, and algorithms

2026-03-21T14:25:22Z

Author Aĭzerman, M. A. (Mark Aronovich), 1913-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: Electronic Resources
Availability Online Library~1

Hybrid Logic and its Proof-Theory

2026-03-21T14:25:22Z

Author Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0002-4
Format: Electronic Resources
Availability Online Library~1

A grammatical view of logic programming

2026-03-21T14:25:22Z

Author Deransart, Pierre. Małuszyński, J. (Jan), 1941-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: Electronic Resources
Availability Online Library~1

Gentzen Calculi for Modal Propositional Logic

2026-03-21T14:25:22Z

Author Poggiolesi, Francesca. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9670-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic Volume 16

2026-03-21T14:25:22Z

Author Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0479-4
Format: Electronic Resources
Availability Online Library~1

Handbook of logic and language

2026-03-21T14:25:22Z

Author Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic Volume 15

2026-03-21T14:25:22Z

Author Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0485-5
Format: Electronic Resources
Availability Online Library~1

A Companion to philosophical logic

2026-03-21T14:25:22Z

Author Jacquette, Dale. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470996751
Format: Electronic Resources
Availability Online Library~1

Greek, Indian, and Arabic logic

2026-03-21T14:25:22Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
Format: Electronic Resources
Availability Online Library~1

Games: Unifying Logic, Language, and Philosophy

2026-03-21T14:25:22Z

Author Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic Foundations for Information Science

2026-03-21T14:25:22Z

Author Li, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: Electronic Resources
Availability Online Library~1

Categorical logic and type theory

2026-03-21T14:25:22Z

Author Jacobs, Bart.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444501707
Format: Electronic Resources
Availability Online Library~1

Tools and techniques in modal logic

2026-03-21T14:25:22Z

Author Kracht, Marcus.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444500557
Format: Electronic Resources
Availability Online Library~1

Intuitionistic logic, model theory and forcing

2026-03-21T14:25:22Z

Author Fitting, Melvin, 1942-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534187
Format: Electronic Resources
Availability Online Library~1

Elements of mathematical logic (Model theory)

2026-03-21T14:25:22Z

Author Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: Electronic Resources
Availability Online Library~1

A survey of mathematical logic

2026-03-21T14:25:22Z

Author Wang, Hao, 1921-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533982
Format: Electronic Resources
Availability Online Library~1

Truth and consequence in mediaeval logic

2026-03-21T14:25:22Z

Author Moody, Ernest A. (Ernest Addison), 1903-1975.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533760
Format: Electronic Resources
Availability Online Library~1

The propositional logic of Boethius

2026-03-21T14:25:22Z

Author Dürr, Karl, 1888-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533661
Format: Electronic Resources
Availability Online Library~1

An essay in modal logic

2026-03-21T14:25:22Z

Author Wright, G. H. von (Georg Henrik), 1916-2003.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533708
Format: Electronic Resources
Availability Online Library~1

Logic programming languages constraints, functions, and objects

2026-03-21T14:25:22Z

Author Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: Electronic Resources
Availability Online Library~1

Logic Pro 9 audio and music production

2026-03-21T14:25:22Z

Author Cousins, Mark, 1972- Hepworth-Sawyer, Russ.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780240521930
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Second Scandinavian Logic Symposium

2026-03-21T14:25:22Z

Author Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422597
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic in Smart Sustainable Cities

2026-03-21T14:25:22Z

Author Singh, Bhupinder, editor Kaunert, Christian, editor. Vig, Komal, editor.
Preferred Shelf Number TD159.4
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003636724 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The populist logic on the environment

2026-03-21T14:25:22Z

Author Duina, Francesco G., 1969- author. Xiaoqing Zhou, Hermione, author.
Preferred Shelf Number JA75.8
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003423133 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic-Based Software Systems

2026-03-21T14:25:22Z

Author Chrysafiadi, Konstantina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44457-9
Format: Electronic Resources
Availability Online Library~1

R-Calculus, IV: Propositional Logic

2026-03-21T14:25:22Z

Author Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8633-8
Format: Electronic Resources
Availability Online Library~1

Contesting carceral logic : towards abolitionist futures

2026-03-21T14:25:22Z

Author Coyle, Michael J., editor. Nagel, Mechthild, editor.
Preferred Shelf Number HV9272 .C56 2022
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003161813 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Philosophical logic : a contemporary introduction

2026-03-21T14:25:22Z

Author MacFarlane, John (John Gordon), author.
Preferred Shelf Number BC71
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315185248 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Separation Logic for High-level Synthesis

2026-03-21T14:25:22Z

Author Winterstein, Felix. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53222-6
Format: Electronic Resources
Availability Online Library~1

Non-logic Devices in Logic Processes

2026-03-21T14:25:22Z

Author Ma, Yanjun. author. Kan, Edwin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48339-9
Format: Electronic Resources
Availability Online Library~1

Evolution, the logic of biology

2026-03-21T14:25:22Z

Author Torday, John S., author. Rehan, Virender K., author.
Preferred Shelf Number QP90.4
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118729403
Format: Electronic Resources
Availability Online Library~1

Design of Reconfigurable Logic Controllers

2026-03-21T14:25:22Z

Author Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26725-8
Format: Electronic Resources
Availability Online Library~1

Towards the Future of Fuzzy Logic

2026-03-21T14:25:22Z

Author Seising, Rudolf. editor. Trillas, Enric. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18750-1
Format: Electronic Resources
Availability Online Library~1

Logic of analog and digital machines

2026-03-21T14:25:22Z

Author Rocchi, Paolo.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2026-03-21T14:25:22Z

Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331853.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Electronic Resources
Availability Online Library~1

Cylindric-like Algebras and Algebraic Logic

2026-03-21T14:25:22Z

Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Electronic Resources
Availability Online Library~1

Mechanical logic in three-dimensional space

2026-03-21T14:25:22Z

Author Auletta, Gennaro, author.
Preferred Shelf Number QC21.3 .A95 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Combinatory logic : pure, applied and typed

2026-03-21T14:25:22Z

Author Bimbo, Katalin, 1963, author.
Preferred Shelf Number QA9.5 .B56 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Logic Circuit Design Selected Methods

2026-03-21T14:25:22Z

Author Vingron, Shimon P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27657-6
Format: Electronic Resources
Availability Online Library~1

Purgatory the logic of total transformation

2026-03-21T14:25:22Z

Author Walls, Jerry L.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001
Format: Electronic Resources
Availability Online Library~1

Digital logic design a rigorous approach

2026-03-21T14:25:22Z

Author Even, Guy. Medina, Moti, 1979-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic for Computer Science

2026-03-21T14:25:22Z

Author Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: Electronic Resources
Availability Online Library~1

Logic and the Organization of Information

2026-03-21T14:25:22Z

Author Frické, Martin. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3088-9
Format: Electronic Resources
Availability Online Library~1

Sets, Logic and Maths for Computing

2026-03-21T14:25:22Z

Author Makinson, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2500-6
Format: Electronic Resources
Availability Online Library~1

Logic : the laws of truth

2026-03-21T14:25:22Z

Author Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7sr96
Format: Electronic Resources
Availability Online Library~1

Handbook of logic and language

2026-03-21T14:25:22Z

Author Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: Electronic Resources
Availability Online Library~1

The logic of positive engagement

2026-03-21T14:25:22Z

Author Nincic, Miroslav.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.7591/j.ctt7v74h
Format: Electronic Resources
Availability Online Library~1

Mathematical aspects of logic programming semantics

2026-03-21T14:25:22Z

Author Hitzler, Pascal., author. Seda, Anthony.
Preferred Shelf Number QA76.63 .H58 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Modality metaphysics, logic, and epistemology

2026-03-21T14:25:22Z

Author Hale, Bob, 1945- Hoffmann, Aviv.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic with engineering applications

2026-03-21T14:25:22Z

Author Ross, Timothy J. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781119994374 http://site.ebrary.com/lib/alltitles/Doc?id=10358927
Format: Electronic Resources
Availability Online Library~1

Data integration the relational logic approach

2026-03-21T14:25:22Z

Author Genesereth, Michael R., 1948-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Mathematical Logic

2026-03-21T14:25:22Z

Author Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1221-3
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic and hydrological modeling

2026-03-21T14:25:22Z

Author Sen, Zekai., author.
Preferred Shelf Number GB656.2 .H9 S46 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Logic the question of truth

2026-03-21T14:25:22Z

Author Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Neural Cell Behavior and Fuzzy Logic

2026-03-21T14:25:22Z

Author Sandler, Uziel. editor. Tsitolovsky, Lev. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09543-1
Format: Electronic Resources
Availability Online Library~1

Temporal Logic and State Systems

2026-03-21T14:25:22Z

Author Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68635-4
Format: Electronic Resources
Availability Online Library~1

Extensionalism The Revolution in Logic

2026-03-21T14:25:22Z

Author Bar-Am, Nimrod. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8168-2
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2026-03-21T14:25:22Z

Author Srivastava, S. M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76277-7
Format: Electronic Resources
Availability Online Library~1

Sets, Logic and Maths for Computing

2026-03-21T14:25:22Z

Author Makinson, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-845-6
Format: Electronic Resources
Availability Online Library~1

Elementary Logic For Software Development

2026-03-21T14:25:22Z

Author Lover, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-082-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Fuzzy Logic using MATLAB

2026-03-21T14:25:22Z

Author Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-35781-0
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic and the semantic web

2026-03-21T14:25:22Z

Author Sanchez, Elie, 1944-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444519481
Format: Electronic Resources
Availability Online Library~1

Quantifiers in language and logic

2026-03-21T14:25:22Z

Author Peters, Stanley, 1941- Westerståhl, Dag, 1946-
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001
Format: Electronic Resources
Availability Online Library~1

Rigid Flexibility The Logic of Intelligence

2026-03-21T14:25:22Z

Author Wang, Pei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5045-3
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Mathematical Logic

2026-03-21T14:25:22Z

Author Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34241-9
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic Applications in Engineering Science

2026-03-21T14:25:22Z

Author Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4078-4
Format: Electronic Resources
Availability Online Library~1

Theories of Judgment Psychology, Logic, Phenomenology

2026-03-21T14:25:22Z

Author Martin, Wayne.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Grounded Consequence for Defeasible Logic

2026-03-21T14:25:22Z

Author Antonelli, Aldo.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic in Financial Analysis

2026-03-21T14:25:22Z

Author Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32368-6
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic, 2nd Edition

2026-03-21T14:25:22Z

Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3521-7
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic, Identification and Predictive Control

2026-03-21T14:25:22Z

Author Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138626
Format: Electronic Resources
Availability Online Library~1

Relevant Logic A Philosophical Interpretation

2026-03-21T14:25:22Z

Author Mares, Edwin D..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Linear Logic in Computer Science

2026-03-21T14:25:22Z

Author Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Design of logic-based intelligent systems

2026-03-21T14:25:22Z

Author Truemper, K., 1942- John Wiley & Sons, Inc.
Preferred Shelf Number ONLINE
Electronic Access e-book Wiley InterScience An electronic book accessible through the World Wide Web; click for information Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html
Format: Electronic Resources
Availability Online Library~1

Arithmetic and logic in computer systems

2026-03-21T14:25:22Z

Author Lu, Mi.
Preferred Shelf Number ONLINE
Electronic Access Click for information Full text available from Wiley InterScience Authentication may be required Available by subscription from Safari Books Online Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic for embedded systems applications

2026-03-21T14:25:22Z

Author Ibrahim, Ahmad M., 1951-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750676052
Format: Electronic Resources
Availability Online Library~1

Genetics and the logic of evolution

2026-03-21T14:25:22Z

Author Weiss, Kenneth M. Buchanan, Anne. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access Full text available from Wiley InterScience Authentication may be required John Wiley http://dx.doi.org/10.1002/0471532657 Book review (E-STREAMS) http://www.e-streams.com/es0708/es0708_3453.html Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley044/2003014905.html
Format: Electronic Resources
Availability Online Library~1

Probability Theory The Logic of Science

2026-03-21T14:25:22Z

Author Jaynes, E. T.. Bretthorst, G. Larry.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Verilog coding for logic synthesis

2026-03-21T14:25:22Z

Author Lee, Weng Fook. John Wiley & Sons, Inc.
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html John Wiley http://dx.doi.org/10.1002/0471457566 http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736 Book review (E-STREAMS) http://www.e-streams.com/es0704/es0704%5F3161.html
Format: Electronic Resources
Availability Online Library~1

Digital logic testing and simulation

2026-03-21T14:25:22Z

Author Miczo, Alexander.
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/0471457787 Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2003041100.html Volltext http://proquest.tech.safaribooksonline.de/9780471439950
Format: Electronic Resources
Availability Online Library~1

The Logic of Concept Expansion

2026-03-21T14:25:22Z

Author Buzaglo, Meir.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

The logic of knowledge bases

2026-03-21T14:25:22Z

Author Levesque, Hector J., 1951- Lakemeyer, Gerhard.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: Electronic Resources
Availability Online Library~1

Air logic control for automated systems

2026-03-21T14:25:22Z

Author Wojtecki, Rudy.
Preferred Shelf Number TJ219 .W64 1999
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781420050110 Taylor & Francis https://www.taylorfrancis.com/books/9780367802394 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The essence of logic circuits

2026-03-21T14:25:22Z

Author Unger, Stephen H., 1931-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200
Format: Electronic Resources
Availability Online Library~1

Principles of logic and logic programming

2026-03-21T14:25:22Z

Author Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
Format: Electronic Resources
Availability Online Library~1

From logic to logic programming

2026-03-21T14:25:22Z

Author Doets, Kees.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: Electronic Resources
Availability Online Library~1

Logic testing and design for testability

2026-03-21T14:25:22Z

Author Fujiwara, Hideo.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: Electronic Resources
Availability Online Library~1

Logic and the basis of ethics

2026-03-21T14:25:22Z

Author Prior, A. N. (Arthur N.), 1914-1969.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198241577.001.0001
Format: Electronic Resources
Availability Online Library~1

Logic Pro 8 audio and music production

2026-03-21T14:25:22Z

Author Cousins, Mark. Hepworth-Sawyer, Russ.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780240520476
Format: Electronic Resources
Availability Online Library~1

Fundamentals of digital logic and microcomputer design

2026-03-21T14:25:22Z

Author Rafiquzzaman, Mohamed.
Preferred Shelf Number ONLINE
Electronic Access Click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609 John Wiley http://dx.doi.org/10.1002/0471733520 John Wiley http://dx.doi.org/10.1002/9780471733522 http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380
Format: Electronic Resources
Availability Online Library~1

Logic on the track of social change

2026-03-21T14:25:22Z

Author Braybrooke, David. Brown, Bryson. Schotch, Peter K.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198235309.001.0001
Format: Electronic Resources
Availability Online Library~1

Judgement and the Epistemic Foundation of Logic

2026-03-21T14:25:22Z

Author van der Schaar, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335895.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5137-8
Format: Electronic Resources
Availability Online Library~1

McGraw-Hill's conquering LSAT logic games

2026-03-21T14:25:22Z

Author Curvebreakers.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984

2026-03-21T14:25:22Z

Author Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444879998
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the Tenth International Conference on Logic Programming

2026-03-21T14:25:22Z

Author International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the 1997 International Symposium

2026-03-21T14:25:22Z

Author Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: Electronic Resources
Availability Online Library~1

Handbook of quantum logic and quantum structures quantum logic

2026-03-21T14:25:22Z

Author Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444528698
Format: Electronic Resources
Availability Online Library~1

Inductive logic programming from machine learning to software engineering

2026-03-21T14:25:22Z

Author Bergadano, Francesco, 1963- Gunetti, Daniele.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the twelfth International Conference on Logic Programming

2026-03-21T14:25:22Z

Author Sterling, Leon.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the eleventh International Conference on Logic Programming

2026-03-21T14:25:22Z

Author Van Hentenryck, Pascal.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982

2026-03-21T14:25:22Z

Author Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444868763
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976

2026-03-21T14:25:22Z

Author Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic

2026-03-21T14:25:22Z

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.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

2026-03-21T14:25:22Z

Author Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444880222
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

2026-03-21T14:25:22Z

Author Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
Format: Electronic Resources
Availability Online Library~1

Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985

2026-03-21T14:25:22Z

Author Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: Electronic Resources
Availability Online Library~1

Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

2026-03-21T14:25:22Z

Author Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444864765
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981

2026-03-21T14:25:22Z

Author Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444864178
Format: Electronic Resources
Availability Online Library~1

Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978

2026-03-21T14:25:22Z

Author Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444853783
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977

2026-03-21T14:25:22Z

Author Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444851789
Format: Electronic Resources
Availability Online Library~1

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

2026-03-21T14:25:22Z

Author Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: Electronic Resources
Availability Online Library~1

Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981

2026-03-21T14:25:22Z

Author Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444867063
Format: Electronic Resources
Availability Online Library~1

Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966

2026-03-21T14:25:22Z

Author Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534149
Format: Electronic Resources
Availability Online Library~1

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

2026-03-21T14:25:22Z

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.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

2026-03-21T14:25:22Z

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.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: Electronic Resources
Availability Online Library~1

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

2026-03-21T14:25:22Z

Author International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444893413
Format: Electronic Resources
Availability Online Library~1

Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

2026-03-21T14:25:22Z

Author International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444705204
Format: Electronic Resources
Availability Online Library~1

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

2026-03-21T14:25:22Z

Author International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444854230
Format: Electronic Resources
Availability Online Library~1

Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

2026-03-21T14:25:22Z

Author Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: Electronic Resources
Availability Online Library~1

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

2026-03-21T14:25:22Z

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.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: Electronic Resources
Availability Online Library~1

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.

2026-03-21T14:25:22Z

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.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
Format: Electronic Resources
Availability Online Library~1

Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

2026-03-21T14:25:22Z

Author International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534163
Format: Electronic Resources
Availability Online Library~1

Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

2026-03-21T14:25:22Z

Author Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
Format: Electronic Resources
Availability Online Library~1

Logic, methodology and philosophy of science proceedings of the 1960 international congress

2026-03-21T14:25:22Z

Author International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780804700962
Format: Electronic Resources
Availability Online Library~1

Twisted logic : puzzles, paradoxes, and big questions

2026-03-21T14:25:22Z

Author Vaughan Williams, Leighton, author.
Preferred Shelf Number BC108
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003402862 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Logic Circuit Design Selected Topics and Methods

2026-03-21T14:25:22Z

Author Vingron, Shimon P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40673-7
Format: Electronic Resources
Availability Online Library~1

Lollipop logic : book 1, grades K-2

2026-03-21T14:25:22Z

Author Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Preferred Shelf Number LB1590.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003279723 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Type-3 Fuzzy Logic in Intelligent Control

2026-03-21T14:25:22Z

Author Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46088-3
Format: Electronic Resources
Availability Online Library~1

Perspective as logic : positioning film in architecture

2026-03-21T14:25:22Z

Author Roimpas, Stefanos, 1989- author.
Preferred Shelf Number NA2500
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003344995 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Concise introduction to logic and set theory

2026-03-21T14:25:22Z

Author Jebril, Iqbal H., author. Dutta, Hemen, 1981- author. Cho, Ilwoo, author.
Preferred Shelf Number QA9 .A5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429022838 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Fuzzy TOPSIS : logic, approaches, and case studies

2026-03-21T14:25:22Z

Author El Alaoui, Mohamed, author.
Preferred Shelf Number T58.62
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003168416 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Advanced fuzzy logic approaches in engineering science

2026-03-21T14:25:22Z

Author Ram, Mangey, editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5709-8
Format: Electronic Resources
Availability Online Library~1

Mechatronic system control, logic, and data acquisition

2026-03-21T14:25:22Z

Author Bishop, Robert H., 1957- editor. Taylor and Francis.
Preferred Shelf Number TJ223 .P76 M43 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Digital Systems From Logic Gates to Processors

2026-03-21T14:25:22Z

Author Deschamps, Jean-Pierre. author. Valderrama, Elena. author. Terés, Lluís. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41198-9
Format: Electronic Resources
Availability Online Library~1

Foundation of digital electronics and logic design

2026-03-21T14:25:22Z

Author Sarkar, Subir Kumar, author. De, Asishkumar, author. Sarkar, Souvik, author. Pan Stanford Publishing.
Preferred Shelf Number TK7868
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Later medieval metaphysics ontology, language, and logic

2026-03-21T14:25:22Z

Author Keele, Rondo, 1968- Bolyard, Charles. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2026-03-21T14:25:22Z

Author Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333950.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35221-8
Format: Electronic Resources
Availability Online Library~1

Independence-Friendly Logic A Game-Theoretic Approach

2026-03-21T14:25:22Z

Author Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

A Course in Mathematical Logic for Mathematicians

2026-03-21T14:25:22Z

Author Manin, Yu. I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: Electronic Resources
Availability Online Library~1

Linguistic Fuzzy Logic Methods in Social Sciences

2026-03-21T14:25:22Z

Author Arfi, Badredine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13343-5
Format: Electronic Resources
Availability Online Library~1

Towards a Design Flow for Reversible Logic

2026-03-21T14:25:22Z

Author Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9579-4
Format: Electronic Resources
Availability Online Library~1

Truth, etc. six lectures on ancient logic

2026-03-21T14:25:22Z

Author Barnes, Jonathan, 1942-
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001
Format: Electronic Resources
Availability Online Library~1

Handbook of Practical Logic and Automated Reasoning

2026-03-21T14:25:22Z

Author Harrison, John.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

The theory of gambling and statistical logic

2026-03-21T14:25:22Z

Author Epstein, Richard A., 1927-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123749406
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Neurocomputing: A Fuzzy Logic Approach

2026-03-21T14:25:22Z

Author Kolman, Eyal. author. Margaliot, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88077-6
Format: Electronic Resources
Availability Online Library~1

Logic Synthesis for FSM-Based Control Units

2026-03-21T14:25:22Z

Author Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04309-3
Format: Electronic Resources
Availability Online Library~1

Logic Functions and Equations Examples and Exercises

2026-03-21T14:25:22Z

Author Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: Electronic Resources
Availability Online Library~1

Logic Synthesis for Compositional Microprogram Control Units

2026-03-21T14:25:22Z

Author Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69285-0
Format: Electronic Resources
Availability Online Library~1

Probabilistic Inductive Logic Programming Theory and Applications

2026-03-21T14:25:22Z

Author Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources
Availability Online Library~1

Type-2 Fuzzy Logic: Theory and Applications

2026-03-21T14:25:22Z

Author Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76284-3
Format: Electronic Resources
Availability Online Library~1

Computation Engineering Applied Automata Theory and Logic

2026-03-21T14:25:22Z

Author Gopalakrishnan, Ganesh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-32520-4
Format: Electronic Resources
Availability Online Library~1

Integration of Fuzzy Logic and Chaos Theory

2026-03-21T14:25:22Z

Author Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32502-6
Format: Electronic Resources
Availability Online Library~1

Advanced Fuzzy Logic Technologies in Industrial Applications

2026-03-21T14:25:22Z

Author Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-469-4
Format: Electronic Resources
Availability Online Library~1

Quantifying Environmental Impact Assessments Using Fuzzy Logic

2026-03-21T14:25:22Z

Author Shepard, Richard B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28098-7
Format: Electronic Resources
Availability Online Library~1

Phenomenology, Logic, and the Philosophy of Mathematics

2026-03-21T14:25:22Z

Author Tieszen, Richard.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Infinite words automata, semigroups, logic and games

2026-03-21T14:25:22Z

Author Perrin, Dominique. Pin, Jean Eric.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780125321112
Format: Electronic Resources
Availability Online Library~1

VHDL coding and logic synthesis with Synopsys

2026-03-21T14:25:22Z

Author Lee, Weng Fook.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124406513
Format: Electronic Resources
Availability Online Library~1

High-performance system design circuits and logic

2026-03-21T14:25:22Z

Author Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: Electronic Resources
Availability Online Library~1

Mitsubishi FX programmable logic controllers applications and programming

2026-03-21T14:25:22Z

Author Ridley, J. E. (John E.) Ridley, J. E. (John E.). Introduction to programmable logic controllers.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750656795
Format: Electronic Resources
Availability Online Library~1

The rise of modern logic from Leibniz to Frege

2026-03-21T14:25:22Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: Electronic Resources
Availability Online Library~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-03-21T14:25:22Z

Author Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85352-4
Format: Electronic Resources
Availability Online Library~1

Multi-valued Logic for Decision-Making Under Uncertainty

2026-03-21T14:25:22Z

Author Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74762-5
Format: Electronic Resources
Availability Online Library~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-03-21T14:25:22Z

Author Farmer, William M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21112-6
Format: Electronic Resources
Availability Online Library~1

An introduction to practical formal methods using temporal logic

2026-03-21T14:25:22Z

Author Fisher, Michael, 1962-
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781119991472 http://proquest.safaribooksonline.com/?fpi=9780470027882 Books24x7 http://www.books24x7.com/marc.asp?bookid=46822 http://proquest.safaribooksonline.com/9780470027882 Volltext http://proquest.tech.safaribooksonline.de/9780470027882
Format: Electronic Resources
Availability Online Library~1

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

2026-03-21T14:25:22Z

Author Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8622-9
Format: Electronic Resources
Availability Online Library~1

The many valued and non-monotonic turn in logic

2026-03-21T14:25:22Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access Full text ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: Electronic Resources
Availability Online Library~1

The many valued and non-monotonic turn in logic

2026-03-21T14:25:22Z

The many valued and non-monotonic turn in logic

2026-03-21T14:25:22Z

The many valued and non-monotonic turn in logic

2026-03-21T14:25:22Z

Logic and the modalities in the twentieth century

2026-03-21T14:25:22Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444516220
Format: Electronic Resources
Availability Online Library~1

Handbook of the logic of argument and inference the turn towards the practical

2026-03-21T14:25:22Z

Author Gabbay, Dov M., 1945-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: Electronic Resources
Availability Online Library~1

Between Logic and Reality Modeling Inference, Action and Understanding

2026-03-21T14:25:22Z

Author Trobok, Majda. editor. Miščević, Nenad. editor. Žarnić, Berislav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2390-0
Format: Electronic Resources
Availability Online Library~1

Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic

2026-03-21T14:25:22Z

Author Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8812-3
Format: Electronic Resources
Availability Online Library~1

The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions

2026-03-21T14:25:22Z

Author Rahman, Shahid. editor. Street, Tony. editor. Tahiri, Hassan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8405-8
Format: Electronic Resources
Availability Online Library~1

Logic based on Schaum's Outline of theory and problems of logic

2026-03-21T14:25:22Z

Author Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Learning music theory with Logic, Max, and Finale

2026-03-21T14:25:22Z

Author Kidde, Geoffrey, 1963- author.
Preferred Shelf Number MT6 .K47
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781351004381 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

2026-03-21T14:25:22Z

Author Cellucci, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336157.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6091-2
Format: Electronic Resources
Availability Online Library~1

Proof, Computation and Agency Logic at the Crossroads

2026-03-21T14:25:22Z

Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0080-2
Format: Electronic Resources
Availability Online Library~1

Games, Norms and Reasons Logic at the Crossroads

2026-03-21T14:25:22Z

Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0714-6
Format: Electronic Resources
Availability Online Library~1

Schaum's outline of theory and problems of logic

2026-03-21T14:25:22Z

Author Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase

2026-03-21T14:25:22Z

Author Pejrolo, Andrea.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780240522166
Format: Electronic Resources
Availability Online Library~1

Strict Finitism and the Logic of Mathematical Applications

2026-03-21T14:25:22Z

Author Ye, Feng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1347-5
Format: Electronic Resources
Availability Online Library~1

Logic and Philosophy of Mathematics in the Early Husserl

2026-03-21T14:25:22Z

Author Centrone, Stefania. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3246-1
Format: Electronic Resources
Availability Online Library~1

Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms

2026-03-21T14:25:22Z

Author Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178
Format: Electronic Resources
Availability Online Library~1

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

2026-03-21T14:25:22Z

Author Hailperin, Theodore.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444879523
Format: Electronic Resources
Availability Online Library~1

Logic in algebraic form Three languages and theories

2026-03-21T14:25:22Z

Author Craig, William, 1918-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: Electronic Resources
Availability Online Library~1

Model theory for infinitary logic logic with countable conjunctions and finite quantifiers

2026-03-21T14:25:22Z

Author Keisler, H. Jerome.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422580
Format: Electronic Resources
Availability Online Library~1

The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]

2026-03-21T14:25:22Z

Author International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534156
Format: Electronic Resources
Availability Online Library~1

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

2026-03-21T14:25:22Z

Author Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the 1999 International Conference on Logic Programming

2026-03-21T14:25:22Z

Author International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the Fourteenth International Conference on Logic Programming

2026-03-21T14:25:22Z

Author International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

2026-03-21T14:25:22Z

Author Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic concepts in computer science and mathematics

2026-03-21T14:25:22Z

Author Kar, Rahul, editor.
Preferred Shelf Number QA9.64
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781779643551 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Engineering the circular economy : leveraging fuzzy logic for implementation

2026-03-21T14:25:22Z

Author Mallik, Biswadip Basu, editor
Preferred Shelf Number HC79 .E5 E5633 2026 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003538837 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Critical thinking for English-language learners : reasoning, logic, and argumentation

2026-03-21T14:25:22Z

Author Johnson, Christopher M. (Associate professor of philosophy), author. Howard, Anne McLellan, author.
Preferred Shelf Number PE1128 .A2
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003473077 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Nanoscale computing : the journey beyond CMOS with nanomagnetic logic

2026-03-21T14:25:22Z

Author Sivasubramani, Santhosh, author.
Preferred Shelf Number T174.7 .S5455 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394263585
Format: Electronic Resources
Availability Online Library~1

MANORIAL CAPITALISM, ENSLAVEMENT, AND THE LOGIC OF DIVIDUATION

2026-03-21T14:25:22Z

Author Sassower, Raphael.
Preferred Shelf Number HT861
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003606093 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Logic synthesis for FPGA-based mealy finite state machines : structural decomposition in logic design

2026-03-21T14:25:22Z

Author Barkalov, Alexander, author.
Preferred Shelf Number TK7868 .L6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003536734 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Lollipop logic : critical thinking activities (Book 4, Grades K-2)

2026-03-21T14:25:22Z

Author Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Preferred Shelf Number LB1590.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003491620 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Reasons for logic, logic for reasons : pragmatics, semantics, and conceptual roles

2026-03-21T14:25:22Z

Author Hlobil, Ulf, author. Brandom, Robert, author.
Preferred Shelf Number BC71
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003330141 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic

2026-03-21T14:25:22Z

Author Abe, Jair Minoro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97810-4
Format: Electronic Resources
Availability Online Library~1

Applications of Fuzzy Logic in Decision Making and Management Science

2026-03-21T14:25:22Z

Author Jana, Subrata. editor. Basu Mallik, Biswadip. editor. Sarkar, Anirban. editor. (orcid)0000-0002-4691-5631 Jana, Chiranjibe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77719-6
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

2026-03-21T14:25:22Z

Author Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80283-6
Format: Electronic Resources
Availability Online Library~1

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

2026-03-21T14:25:22Z

Author Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86054-6
Format: Electronic Resources
Availability Online Library~1

Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part II

2026-03-21T14:25:22Z

Author Baczyński, Michał. editor. (orcid)0000-0002-4442-2112 De Baets, Bernard. editor. (orcid)0000-0002-3876-620X Holčapek, Michal. editor. (orcid)0000-0003-3978-1249 Kreinovich, Vladik. editor. (orcid)0000-0002-1244-1650 Medina, Jesús. editor. (orcid)0000-0002-3931-5873
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97228-7
Format: Electronic Resources
Availability Online Library~1

Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part I

2026-03-21T14:25:22Z

Author Baczyński, Michał. editor. (orcid)0000-0002-4442-2112 De Baets, Bernard. editor. (orcid)0000-0002-3876-620X Holčapek, Michal. editor. (orcid)0000-0003-3978-1249 Kreinovich, Vladik. editor. (orcid)0000-0002-1244-1650 Medina, Jesús. editor. (orcid)0000-0002-3931-5873
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97225-6
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

2026-03-21T14:25:22Z

Author Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74209-5
Format: Electronic Resources
Availability Online Library~1

Neuro-Symbolic Artificial Intelligence Bridging Logic and Learning

2026-03-21T14:25:22Z

Author Bhuyan, Bikram Pratim. author. (orcid)0000-0001-5373-8912 Ramdane-Cherif, Amar. author. Singh, Thipendra P. author. (orcid)0000-0002-9991-6494 Tomar, Ravi. author. (orcid)0000-0002-8957-6756 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8171-3
Format: Electronic Resources
Availability Online Library~1

Applied Type-3 Fuzzy Logic Systems and Controllers

2026-03-21T14:25:22Z

Author Sabetahd, Rasoul. author. (orcid)0000-0002-3320-5788 Mohammadzadeh, Ardashir. author. Jafarzadeh, Ommegolsoum. author. Taghavifar, Hamid. author. Sakthivel, Rathinasamy. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75988-8
Format: Electronic Resources
Availability Online Library~1

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

2026-03-21T14:25:22Z

Author Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95908-0
Format: Electronic Resources
Availability Online Library~1

Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis

2026-03-21T14:25:22Z

Author Melin, Patricia. author. (orcid)0000-0001-5798-1426 Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81655-0
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

2026-03-21T14:25:22Z

Author Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-89610-1
Format: Electronic Resources
Availability Online Library~1

Graded Logic Modeling Human Commonsense Reasoning in Decision-Making and AI

2026-03-21T14:25:22Z

Author Dujmović, Jozo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88558-7
Format: Electronic Resources
Availability Online Library~1

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

2026-03-21T14:25:22Z

Author Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-7956-0
Format: Electronic Resources
Availability Online Library~1

Retuning education : Bildung and exemplarity beyond the logic of progress

2026-03-21T14:25:22Z

Author Korsgaard, Morten Timmermann, author.
Preferred Shelf Number LB14.7
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003437666 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computing with multi-value logic in quantum dot cellular automata

2026-03-21T14:25:22Z

Author Sabbaghi-Nadooshan, Reza, author.
Preferred Shelf Number TK7874.88 .S23 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975
Format: Electronic Resources
Availability Online Library~1

Lollipop logic : critical thinking activities (Book 3, Grades K-2)

2026-03-21T14:25:22Z

Author Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Preferred Shelf Number LB1590.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003387206 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Lollipop logic : critical thinking activities (book 2, grades K-2)

2026-03-21T14:25:22Z

Author Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Preferred Shelf Number LB1590.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003387213 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

New institutional economics as situational logic : a phenomenological perspective

2026-03-21T14:25:22Z

Author Vries, Piet de, author.
Preferred Shelf Number HB99.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315764221 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Situation assessment in aviation : Bayesian network and fuzzy logic-based approaches

2026-03-21T14:25:22Z

Author Raol, J. R. (Jitendra R.), 1947- author.
Preferred Shelf Number TL711 .B6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003370413 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The logic of legal argumentation : multi-modal perspectives

2026-03-21T14:25:22Z

Author Novak, Marko, author.
Preferred Shelf Number K213
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003433767 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The limits and logic of agency theory in company law

2026-03-21T14:25:22Z

Author Hardman, Jonathan, author.
Preferred Shelf Number K917
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003293828 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Cross-Tradition Engagement on the Laws of Logic : Approaching Identity and Reference from Classical Chinese Philosophy to Modern Logic

2026-03-21T14:25:22Z

Author Mou, Bo, author.
Preferred Shelf Number BC71
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003452737 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

2026-03-21T14:25:22Z

Author Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71294-4
Format: Electronic Resources
Availability Online Library~1

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

2026-03-21T14:25:22Z

Author Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60878-0
Format: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

2026-03-21T14:25:22Z

Author Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51777-8
Format: Electronic Resources
Availability Online Library~1

New Horizons for Fuzzy Logic, Neural Networks and Metaheuristics

2026-03-21T14:25:22Z

Author Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 Melin, Patricia. editor. (orcid)0000-0001-5798-1426 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55684-5
Format: Electronic Resources
Availability Online Library~1

Type-3 Fuzzy Logic in Time Series Prediction

2026-03-21T14:25:22Z

Author Castillo, Oscar. author. (orcid)0000-0002-7385-5689 Melin, Patricia. author. (orcid)0000-0001-5798-1426 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59714-5
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

2026-03-21T14:25:22Z

Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65941-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Logic Circuits & Logic Design with Verilog

2026-03-21T14:25:22Z

Author LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43946-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Logic Circuits & Logic Design with VHDL

2026-03-21T14:25:22Z

Author LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42547-9
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

2026-03-21T14:25:22Z

Author Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55630-2
Format: Electronic Resources
Availability Online Library~1

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

2026-03-21T14:25:22Z

Author Cantone, Domenico. editor. (orcid)0000-0002-1306-1166 Pulvirenti, Alfredo. editor. (orcid)0000-0002-9764-0295 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55248-9
Format: Electronic Resources
Availability Online Library~1

A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications

2026-03-21T14:25:22Z

Author de Barros, Laécio Carvalho. author. Bassanezi, Rodney Carlos. author. Lodwick, Weldon A. author. (orcid)0000-0003-0606-5916 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50492-1
Format: Electronic Resources
Availability Online Library~1

Algebraic Quasi-Fractal Logic of Smart Systems Theory and Practice

2026-03-21T14:25:22Z

Author Serdyukova, Natalia. editor. Serdyukov, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66040-5
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

2026-03-21T14:25:22Z

Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2300-3
Format: Electronic Resources
Availability Online Library~1

Selected Reflections in Language, Logic, and Information ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers

2026-03-21T14:25:22Z

Author Pavlova, Alexandra. editor. Pedersen, Mina Young. editor. Bernardi, Raffaella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50628-4
Format: Electronic Resources
Availability Online Library~1

New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms

2026-03-21T14:25:22Z

Author Melin, Patricia. editor. (orcid)0000-0001-5798-1426 Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53713-4
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings

2026-03-21T14:25:22Z

Author Metcalfe, George. editor. Studer, Thomas. editor. de Queiroz, Ruy. editor. (orcid)0000-0003-1482-0977 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62687-6
Format: Electronic Resources
Availability Online Library~1