Search Results for Logic - Narrowed by: Online Library

Computational logic

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Mathematical logic

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Advanced Logic Synthesis

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Stochastic Coalgebraic Logic

2026-01-15T06:23:36Z

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

Programmable logic controllers

2026-01-15T06:23:36Z

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

Logic in Reality

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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 Programming with Prolog

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Aspects of Mathematical Logic

2026-01-15T06:23:36Z

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

Memory-Based Logic Synthesis

2026-01-15T06:23:36Z

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

The science of logic

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

An essay in modal logic

2026-01-15T06:23:36Z

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

The propositional logic of Boethius

2026-01-15T06:23:36Z

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

Logic programming languages constraints, functions, and objects

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Towards the Future of Fuzzy Logic

2026-01-15T06:23:36Z

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

Mechanical logic in three-dimensional space

2026-01-15T06:23:36Z

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

Cylindric-like Algebras and Algebraic Logic

2026-01-15T06:23:36Z

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

Logic of analog and digital machines

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Logic Circuit Design Selected Methods

2026-01-15T06:23:36Z

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

Logic : the laws of truth

2026-01-15T06:23:36Z

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

Purgatory the logic of total transformation

2026-01-15T06:23:36Z

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

Sets, Logic and Maths for Computing

2026-01-15T06:23:36Z

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

Mathematical Logic for Computer Science

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Digital logic design a rigorous approach

2026-01-15T06:23:36Z

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

Combinatory logic : pure, applied and typed

2026-01-15T06:23:36Z

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

Mathematical aspects of logic programming semantics

2026-01-15T06:23:36Z

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

The logic of positive engagement

2026-01-15T06:23:36Z

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

Handbook of logic and language

2026-01-15T06:23:36Z

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

Logic the question of truth

2026-01-15T06:23:36Z

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

A Concise Introduction to Mathematical Logic

2026-01-15T06:23:36Z

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

Modality metaphysics, logic, and epistemology

2026-01-15T06:23:36Z

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

Data integration the relational logic approach

2026-01-15T06:23:36Z

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

Fuzzy logic with engineering applications

2026-01-15T06:23:36Z

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

Fuzzy logic and hydrological modeling

2026-01-15T06:23:36Z

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

Neural Cell Behavior and Fuzzy Logic

2026-01-15T06:23:36Z

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

Extensionalism The Revolution in Logic

2026-01-15T06:23:36Z

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

Sets, Logic and Maths for Computing

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

A Course on Mathematical Logic

2026-01-15T06:23:36Z

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

Temporal Logic and State Systems

2026-01-15T06:23:36Z

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

Introduction to Fuzzy Logic using MATLAB

2026-01-15T06:23:36Z

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

Quantifiers in language and logic

2026-01-15T06:23:36Z

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

A Concise Introduction to Mathematical Logic

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Rigid Flexibility The Logic of Intelligence

2026-01-15T06:23:36Z

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

Theories of Judgment Psychology, Logic, Phenomenology

2026-01-15T06:23:36Z

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

Fuzzy logic and the semantic web

2026-01-15T06:23:36Z

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

Grounded Consequence for Defeasible Logic

2026-01-15T06:23:36Z

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

Fuzzy Logic, Identification and Predictive Control

2026-01-15T06:23:36Z

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

Handbook of Philosophical Logic, 2nd Edition

2026-01-15T06:23:36Z

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 in Financial Analysis

2026-01-15T06:23:36Z

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

Relevant Logic A Philosophical Interpretation

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Arithmetic and logic in computer systems

2026-01-15T06:23:36Z

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

Genetics and the logic of evolution

2026-01-15T06:23:36Z

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

Design of logic-based intelligent systems

2026-01-15T06:23:36Z

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

Fuzzy logic for embedded systems applications

2026-01-15T06:23:36Z

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

Probability Theory The Logic of Science

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Type-3 Fuzzy Logic in Intelligent Control

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Lollipop logic : book 1, grades K-2

2026-01-15T06:23:36Z

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

Concise introduction to logic and set theory

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Foundation of digital electronics and logic design

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Towards a Design Flow for Reversible Logic

2026-01-15T06:23:36Z

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

A Course in Mathematical Logic for Mathematicians

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Logic Synthesis for FSM-Based Control Units

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

The theory of gambling and statistical logic

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Truth, etc. six lectures on ancient logic

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Logic Synthesis for Compositional Microprogram Control Units

2026-01-15T06:23:36Z

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

Type-2 Fuzzy Logic: Theory and Applications

2026-01-15T06:23:36Z

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

Probabilistic Inductive Logic Programming Theory and Applications

2026-01-15T06:23:36Z

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

Computation Engineering Applied Automata Theory and Logic

2026-01-15T06:23:36Z

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

Advanced Fuzzy Logic Technologies in Industrial Applications

2026-01-15T06:23:36Z

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

Integration of Fuzzy Logic and Chaos Theory

2026-01-15T06:23:36Z

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

Quantifying Environmental Impact Assessments Using Fuzzy Logic

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

The many valued and non-monotonic turn in logic

2026-01-15T06:23:36Z

The many valued and non-monotonic turn in logic

2026-01-15T06:23:36Z

Logic and the modalities in the twentieth century

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Strict Finitism and the Logic of Mathematical Applications

2026-01-15T06:23:36Z

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

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

2026-01-15T06:23:36Z

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

Schaum's outline of theory and problems of logic

2026-01-15T06:23:36Z

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

Logic and Philosophy of Mathematics in the Early Husserl

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Engineering the circular economy : leveraging fuzzy logic for implementation

2026-01-15T06:23:36Z

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

Fuzzy logic concepts in computer science and mathematics

2026-01-15T06:23:36Z

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

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

2026-01-15T06:23:36Z

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

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

2026-01-15T06:23:36Z

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

MANORIAL CAPITALISM, ENSLAVEMENT, AND THE LOGIC OF DIVIDUATION

2026-01-15T06:23:36Z

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

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

2026-01-15T06:23:36Z

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

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

2026-01-15T06:23:36Z

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

The logic of legal argumentation : multi-modal perspectives

2026-01-15T06:23:36Z

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

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

2026-01-15T06:23:36Z

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

New institutional economics as situational logic : a phenomenological perspective

2026-01-15T06:23:36Z

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

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

2026-01-15T06:23:36Z

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-01-15T06:23:36Z

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

Retuning education : Bildung and exemplarity beyond the logic of progress

2026-01-15T06:23:36Z

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

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

2026-01-15T06:23:36Z

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 limits and logic of agency theory in company law

2026-01-15T06:23:36Z

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

Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications

2026-01-15T06:23:36Z

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

Logic Locking A Practical Approach to Secure Hardware

2026-01-15T06:23:36Z

Author Sisejkovic, Dominik. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-19123-7
Format: Electronic Resources
Availability Online Library~1

Digital Landscape Architecture: Logic, Structure, Method and Application

2026-01-15T06:23:36Z

Author Cheng, Yuning. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2046-4
Format: Electronic Resources
Availability Online Library~1

WAIC and WBIC with Python Stan 100 Exercises for Building Logic

2026-01-15T06:23:36Z

Author Suzuki, Joe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3841-4
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

2026-01-15T06:23:36Z

Author Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45784-5
Format: Electronic Resources
Availability Online Library~1

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

2026-01-15T06:23:36Z

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

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings

2026-01-15T06:23:36Z

Author Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45558-2
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings

2026-01-15T06:23:36Z

Author Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49299-0
Format: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

2026-01-15T06:23:36Z

Author Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26622-5
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Neural Networks for Hybrid Intelligent System Design

2026-01-15T06:23:36Z

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

Error Logic: Paving Pathways for Intelligent Error Identification and Management

2026-01-15T06:23:36Z

Author Liu, Shiyong. author. Guo, Kaizhong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-00820-7
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology

2026-01-15T06:23:36Z

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

Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics

2026-01-15T06:23:36Z

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

Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)

2026-01-15T06:23:36Z

Author Loukanova, Roussanka. editor. Lumsdaine, Peter LeFanu. editor. Muskens, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21780-7
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

2026-01-15T06:23:36Z

Author Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26689-8
Format: Electronic Resources
Availability Online Library~1

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers

2026-01-15T06:23:36Z

Author Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25894-7
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

2026-01-15T06:23:36Z

Author Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39784-4
Format: Electronic Resources
Availability Online Library~1

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

2026-01-15T06:23:36Z

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

WAIC and WBIC with R Stan 100 Exercises for Building Logic

2026-01-15T06:23:36Z

Author Suzuki, Joe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3838-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings

2026-01-15T06:23:36Z

Author Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7869-4
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Technology, and Aggregation Operators 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings

2026-01-15T06:23:36Z

Author Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39965-7
Format: Electronic Resources
Availability Online Library~1

Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings

2026-01-15T06:23:36Z

Author Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36978-0
Format: Electronic Resources
Availability Online Library~1

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

2026-01-15T06:23:36Z

Author Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40875-5
Format: Electronic Resources
Availability Online Library~1

NONRATIONAL LOGIC IN CONTEMPORARY SOCIETY a depth psychology perspective on magical thinking,... conspiracy theories and folk devils among us.

2026-01-15T06:23:36Z

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

LOGIC FOR JUSTICE an introduction to formal logic with an emphasis on political reform.

2026-01-15T06:23:36Z

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

Gender-responsive governance in Sierra Leone : the transitions and logic of inequality

2026-01-15T06:23:36Z

Author Lahai, John Idriss, author.
Preferred Shelf Number HQ1236.5 .S5 .L343 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003384083 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The freest market in the world : the constitutional logic of economic liberty in Hong Kong

2026-01-15T06:23:36Z

Author Villalta Puig, Gonzalo, author. Ip, Eric Chi Yeung, author.
Preferred Shelf Number KNQ9370.3 .V55 2022
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429341229 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The new logic of sexual violence in enlightenment France : rationalizing rape

2026-01-15T06:23:36Z

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

Gonzo governance : the media logic of Donald Trump

2026-01-15T06:23:36Z

Author Altheide, David L.
Preferred Shelf Number E912 .A43 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003330837 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Logic for kids : all aboard the Therefore Train!

2026-01-15T06:23:36Z

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

MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY sequential circuits, memory devices,... programmable logic devices, and nanoprocessors.

2026-01-15T06:23:36Z

Author Babu, Hafiz Md. Hasan, 1966-
Preferred Shelf Number QH506
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003381921 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Parliamentary agency and regional integration in Europe and beyond : the logic of regional parliaments

2026-01-15T06:23:36Z

Author Luciano, Bruno Theodoro, author.
Preferred Shelf Number JF197 .L84 2022
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003142201 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Logic works : a rigorous introduction to formal logic

2026-01-15T06:23:36Z

Author Falkenstein, Lorne, author. Stapleford, Scott, author. Kao, Molly, 1986- author.
Preferred Shelf Number BC108
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003026532 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Post-truth society : a political anthropology of trickster logic

2026-01-15T06:23:36Z

Author Szakolczai, Árpád, author.
Preferred Shelf Number BJ1421
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003225553 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence and computing logic : cognitive technology for AI business analytics

2026-01-15T06:23:36Z

Author Nourani, Cyrus F., editor.
Preferred Shelf Number QA76.9 .S63
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003180487 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Foundations of probabilistic logic programming : languages, semantics, inference and learning

2026-01-15T06:23:36Z

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

Luck, logic, and white lies : the mathematics of games

2026-01-15T06:23:36Z

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

Public service logic : creating value for public service users, citizens, and society through public service delivery

2026-01-15T06:23:36Z

Author Osborne, Stephen P., 1953- author.
Preferred Shelf Number JF1351 .O77 2021
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003009153 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

PIC16F1847 microcontroller-based programmable logic controller : intermediate concepts

2026-01-15T06:23:36Z

Author Uzam, Murat, 1968- author.
Preferred Shelf Number TJ223 .P76 U93 2021 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367506445 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Logic of the powers : towards an impact-driven practice of futurist statecraft

2026-01-15T06:23:36Z

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

The fundamentally simple logic of language : learning a second language with the tools of the native speaker

2026-01-15T06:23:36Z

Author González, Luis H., author.
Preferred Shelf Number P281
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003139225 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Mathematical modeling using fuzzy logic applications to sustainability

2026-01-15T06:23:36Z

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

Cultural internationalism : the logic of a new international governance

2026-01-15T06:23:36Z

Author Guo, Shuyong, 1968- author. Zhang, Xiaoyin, translator.
Preferred Shelf Number JZ1318
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003170747 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

PIC16F1847 microcontroller-based programmable logic controller : hardware and basic concepts

2026-01-15T06:23:36Z

Author Uzam, Murat, 1968- author.
Preferred Shelf Number TJ223 .P76 U93 2021 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003050605 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

PIC16F1847 microcontroller-based programmable logic controller : advanced concepts

2026-01-15T06:23:36Z

Author Uzam, Murat, 1968- author.
Preferred Shelf Number TJ223 .P76 U93 2021 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003050643 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1