Search Results for Logic.

Logic

2024-05-23T10:18:23Z

Author Salmon, Wesley C., 1908-1931
Preferred Shelf Number BC 108 S2 1963
Format: Books
Availability Beytepe Library~1

Computational logic

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Logic countdown

2024-05-23T10:18:23Z

Author Risby, Bonnie.
Preferred Shelf Number LB1590.3 R57 2008
Format: Books
Availability Beytepe Library~1

Logic liftoff

2024-05-23T10:18:23Z

Author Risby, Bonnie. Crawford, Dean, illustrator.
Preferred Shelf Number LB1590.3 R57 2007
Format: Books
Availability Beytepe Library~1

Primarily logic

2024-05-23T10:18:23Z

Author Leimbach, Judy. Crawford, Dean. Crawford, Pat. Draze, Dianne.
Preferred Shelf Number LB1590.3 L45 2005
Format: Books
Availability Beytepe Library~1

Mathematical logic

2024-05-23T10:18:23Z

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 Safari

2024-05-23T10:18:23Z

Author Risby, Bonnie Lou. Palouda, Annelise.
Preferred Shelf Number BC101 R57 2005 V.1
Format: Books
Availability Beytepe Library~3

Logic countdown

2024-05-23T10:18:23Z

Author Risby, Bonnie Lou. Crawford, Dean.
Format: Books
Availability ~0

Logic design

2024-05-23T10:18:23Z

Author Chen, Wai-Kai, 1936-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Mathematical logic

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Logic circuits

2024-05-23T10:18:23Z

Author Morris, Noel Malcolm.
Preferred Shelf Number TK 7868.L6 M67 1983
Format: Books
Availability Beytepe Library~1

Symbolic logic

2024-05-23T10:18:23Z

Author Copi, Irving M.
Preferred Shelf Number BC 135 C58 1973
Format: Books
Availability Beytepe Library~1

Elementary logic

2024-05-23T10:18:23Z

Author Mates, Benson, 1919-
Preferred Shelf Number BC 135 M37 1972 E
Format: Books
Availability Beytepe Library~1

Symbolic logic

2024-05-23T10:18:23Z

Author Venn, John, 1834-1923.
Preferred Shelf Number BC 135 V4 1971
Format: Books
Availability Beytepe Library~1

Threshold logic

2024-05-23T10:18:23Z

Author Sheng, Ching-Lai.
Preferred Shelf Number QA 401 S46 1969
Format: Books
Availability Beytepe Library~1

Philosophical logic

2024-05-23T10:18:23Z

Author Strawson, P. F.
Preferred Shelf Number BC6 S8 1968
Format: Books
Availability Beytepe Library~1

Introductory logic

2024-05-23T10:18:23Z

Author Creighton, James Edwin, 1861-1924.
Preferred Shelf Number BC 108 C87 1920
Format: Books
Availability Beytepe Library~1

Formal logic

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Logic and Structure

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Philosophy of logic

2024-05-23T10:18:23Z

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

Orbiting with logic

2024-05-23T10:18:23Z

Author Risby, Bonnie Lou. Crawford, Dean.
Preferred Shelf Number LB1590.3 R57 2005
Format: Books
Availability Beytepe Library~1

Logic and structure

2024-05-23T10:18:23Z

Author Dalen, D. van.
Preferred Shelf Number QA 9 D16 2004
Format: Books
Availability Beytepe Library~1

Digital logic design

2024-05-23T10:18:23Z

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

Logic and existence

2024-05-23T10:18:23Z

Author Hyppolite, Jean.
Preferred Shelf Number B2949.L8 H913 1997
Format: Books
Availability Beytepe Library~1

Introduction to logic

2024-05-23T10:18:23Z

Author Suppes, Patrick Colonel, 1922-
Preferred Shelf Number BC 108 S85 1957
Format: Books
Availability Beytepe Library~1

Advanced Logic Synthesis

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Programmable logic controllers

2024-05-23T10:18:23Z

Author Bolton, W. (William), 1933-
Preferred Shelf Number TJ223.P76 B65 2010
Format: Books
Availability Beytepe Library~1

Stochastic Coalgebraic Logic

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Contemporary logic design

2024-05-23T10:18:23Z

Author Katz, Randy H., 1955-
Preferred Shelf Number TK 7888.4 K36 1994
Format: Books
Availability Beytepe Library~1

Computability and logic

2024-05-23T10:18:23Z

Author Boolos, George S. Jeffrey, R. C., ort. yaz.
Preferred Shelf Number QA 9.59 B66 1989
Format: Books
Availability Beytepe Library~1

Systems of logic

2024-05-23T10:18:23Z

Author Martin, Norman M.
Preferred Shelf Number BC 135 M325 1989
Format: Books
Availability Beytepe Library~1

Logic with prolog

2024-05-23T10:18:23Z

Author Gibbins, Peter.
Preferred Shelf Number QA 76.73.P76 G53 1988
Format: Books
Availability Beytepe Library~1

Logic tools programming

2024-05-23T10:18:23Z

Author Pace, Philip, 1956- Pace, L., ort. yaz.
Preferred Shelf Number QA 76.6 P325 1987
Format: Books
Availability Beytepe Library~1

Introduction to logic

2024-05-23T10:18:23Z

Author Packard, Dennis J. Faulconer, James E., ort. yaz.
Preferred Shelf Number BC 108 P22 1980
Format: Books
Availability Beytepe Library~2

Computer logic design

2024-05-23T10:18:23Z

Author Mano, M. Morris, 1927-
Preferred Shelf Number TK 7868.S9 M275 1972
Format: Books
Availability Beytepe Library~3

Sets and logic

2024-05-23T10:18:23Z

Author Hanna, Samuel C. Saber, John C., ort. yaz.
Preferred Shelf Number QA 248 H29 1971
Format: Books
Availability Beytepe Library~1

Logic for philosophers

2024-05-23T10:18:23Z

Author Purtill, Richard L., 1931-
Preferred Shelf Number BC 71 P86 1971
Format: Books
Availability Beytepe Library~1

Understanding symbolic logic

2024-05-23T10:18:23Z

Author Massey, Gerald J.
Preferred Shelf Number BC 135 M35 1970
Format: Books
Availability Beytepe Library~1

Introduction to logic

2024-05-23T10:18:23Z

Author Beach, John D.
Preferred Shelf Number BC 108 B34 1970
Format: Books
Availability Beytepe Library~1

Logic in teaching

2024-05-23T10:18:23Z

Author Ennis, Robert Hugh, 1927-
Preferred Shelf Number BC 161.T4 E5 1969
Format: Books
Availability Beytepe Library~1

Methods of logic

2024-05-23T10:18:23Z

Author Quine, Willard Van Orman.
Preferred Shelf Number BC 50 Q8 1966
Format: Books
Availability Beytepe Library~1

Logic and criticism

2024-05-23T10:18:23Z

Author Righter, William.
Preferred Shelf Number BH 39 R5 1963
Format: Books
Availability Beytepe Library~1

Introduction to logic

2024-05-23T10:18:23Z

Author Clark, Romane. Welsh, Paul, ort. yaz.
Preferred Shelf Number BC 71 C5 1962
Format: Books
Availability Beytepe Library~1

Logic for mathematicians

2024-05-23T10:18:23Z

Author Rosser, John Barkley, 1907-
Preferred Shelf Number BC 135 R735 1953
Format: Books
Availability Beytepe Library~1

Handbook of Philosophical Logic

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Introduction to mathematical logic

2024-05-23T10:18:23Z

Author Mendelson, Elliott.
Preferred Shelf Number QA9 M4 2015
Format: Books
Availability Beytepe Library~1

VHDL for logic synthesis

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

The logic of sense

2024-05-23T10:18:23Z

Author Deleuze, Gilles.
Preferred Shelf Number B840 D3813 1990
Format: Books
Availability Beytepe Library~1

Fundamentals of computer logic

2024-05-23T10:18:23Z

Author Hutchison, David.
Preferred Shelf Number TK 7888.4 H97 1981
Format: Books
Availability Beytepe Library~1

The logic of poetry

2024-05-23T10:18:23Z

Author Monaco, Richard. Briggs, J., ort. yaz.
Preferred Shelf Number PN 1059 M4 M6
Format: Books
Availability Beytepe Library~1

Language, logic and god

2024-05-23T10:18:23Z

Author Ferre, Frederick.
Preferred Shelf Number B 824.6 F4 1969
Format: Books
Availability Beytepe Library~1

Introduction to mathematical logic

2024-05-23T10:18:23Z

Author Mendelson, Elliott.
Preferred Shelf Number QA 9 M4 1964
Format: Books
Availability Beytepe Library~1

Advances in modal logic

2024-05-23T10:18:23Z

Author Kracht, Marcus, ed.
Preferred Shelf Number BC 199.M6 A38 1998- V.1
Format: Books
Availability Beytepe Library~2

Logic Programming with Prolog

2024-05-23T10:18:23Z

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

The logic of education

2024-05-23T10:18:23Z

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

Logic: A Brief Course

2024-05-23T10:18:23Z

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

Memory-Based Logic Synthesis

2024-05-23T10:18:23Z

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

Aspects of Mathematical Logic

2024-05-23T10:18:23Z

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

The science of logic

2024-05-23T10:18:23Z

Author Hegel, Georg Wilhelm Friedrich. Di Giovanni, George, 1935-
Preferred Shelf Number B2942.E5 D5 2010
Format: Books
Availability Beytepe Library~1

The science of logic

2024-05-23T10:18:23Z

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

Introduction to logic design

2024-05-23T10:18:23Z

Author Marcovitz, Alan B.
Preferred Shelf Number TK7868 L6 M355 2005
Format: Books
Availability Beytepe Library~1

Logic design of nanoICs

2024-05-23T10:18:23Z

Author Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Logic Programming with Prolog

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Fuzzy logic in chemistry

2024-05-23T10:18:23Z

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

Logic programming and databases

2024-05-23T10:18:23Z

Author Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.
Preferred Shelf Number QA 76.63 C47 1990
Format: Books
Availability Beytepe Library~1

Foundations of illocutionary logic

2024-05-23T10:18:23Z

Author Searle, John R.
Preferred Shelf Number P 95.55 S42 1985
Format: Books
Availability Beytepe Library~1

Temporal logic of programs

2024-05-23T10:18:23Z

Author Kröger, Fred, 1945-
Preferred Shelf Number QA 76.6 K753 1987
Format: Books
Availability Beytepe Library~1

Fundamentals of logic design

2024-05-23T10:18:23Z

Author Roth, Charles H.
Preferred Shelf Number TK 7868.L6 R67 1985
Format: Books
Availability Beytepe Library~1

Fundamentals of logic design

2024-05-23T10:18:23Z

Author Roth, Charles H.
Preferred Shelf Number TK 7868.L6 R67 1979
Format: Books
Availability Beytepe Library~1

The logic of literature

2024-05-23T10:18:23Z

Author Hamburger, Kate, 1896-
Preferred Shelf Number PN 45 H3513 1973
Format: Books
Availability Beytepe Library~1

Logic, automata, and algorithms

2024-05-23T10:18:23Z

Author Aiserman, Mark A.
Preferred Shelf Number QA 267.5.S4 L613 1971
Format: Books
Availability Beytepe Library~1

Logic, language, and metaphysics

2024-05-23T10:18:23Z

Author Martin, Richard Milton.
Preferred Shelf Number BC 51 M37 1971
Format: Books
Availability Beytepe Library~1

The logic of education

2024-05-23T10:18:23Z

Author Hirst, Paul Haywood.
Preferred Shelf Number LB 880 H59 1970
Format: Books
Availability Beytepe Library~1

Manual of logic circuits

2024-05-23T10:18:23Z

Author Maley, Gerald A.
Preferred Shelf Number QA 401 M35 1970
Format: Books
Availability Beytepe Library~1

Introduction to symbolic logic

2024-05-23T10:18:23Z

Author Pollock, John L.
Preferred Shelf Number BC 135 P68 1969
Format: Books
Availability Beytepe Library~1

The logic of practice

2024-05-23T10:18:23Z

Author Bourdieu, Pierre, 1930-2002
Preferred Shelf Number GN 468 B6813 1990
Format: Books
Availability Beytepe Library~1

Molecular logic-based computation

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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 and information flow

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Foundations of logic programming

2024-05-23T10:18:23Z

Author Lloyd, John Wylie, 1947-
Preferred Shelf Number QA 76.6 L538 1987
Format: Books
Availability Beytepe Library~1

Logic, automata, and algorithms

2024-05-23T10:18:23Z

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

Language, truth, and logic

2024-05-23T10:18:23Z

Author Ayer, Alfred Julies, 1910-
Preferred Shelf Number B 53 A9 1971
Format: Books
Availability Beytepe Library~1

Probability and inductive logic

2024-05-23T10:18:23Z

Author Kyburg, Henry Ely, 1928-
Preferred Shelf Number BC 91 K9 1970
Format: Books
Availability Beytepe Library~1

Formal and transcendental logic

2024-05-23T10:18:23Z

Author Husserl, Edmund, 1859-1938.
Preferred Shelf Number BC 122 H813 1969
Format: Books
Availability Beytepe Library~1

Fulse and logic circuits

2024-05-23T10:18:23Z

Author Gillie, Angelo C., ed.
Preferred Shelf Number TK 7867 G54 1968
Format: Books
Availability Beytepe Library~1

Set theory and logic

2024-05-23T10:18:23Z

Author Fraenkel, Abraham Adolf, 1891-1965.
Preferred Shelf Number QA 248 F73 1966
Format: Books
Availability Beytepe Library~1

Logic and boolean algebra

2024-05-23T10:18:23Z

Author Arnold, Bradford Henry, 1916-
Preferred Shelf Number QA 266 A7 1962
Format: Books
Availability Beytepe Library~1

Advanced digital logic concepts

2024-05-23T10:18:23Z

Preferred Shelf Number TK 7868.D5 A95 1983
Format: Books
Availability Beytepe Library~1

Hybrid Logic and its Proof-Theory

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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)

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

The propositional logic of Boethius

2024-05-23T10:18:23Z

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

An essay in modal logic

2024-05-23T10:18:23Z

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

Logic programming languages constraints, functions, and objects

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Studies in inductive logic and probability

2024-05-23T10:18:23Z

Author Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Preferred Shelf Number QA 273.4 C37 1971-
Format: Books
Availability Beytepe Library~1

Logic : the theory of formal inference

2024-05-23T10:18:23Z

Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Preferred Shelf Number BC 108 A55 1972
Format: Books
Availability Beytepe Library~1

Chance, love and logic : philosophical essays

2024-05-23T10:18:23Z

Author Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.
Preferred Shelf Number B 945.P43 C5 1923 (SET)
Format: Books
Availability Beytepe Library~1

Mathematical logic : A course with exercises

2024-05-23T10:18:23Z

Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number QA 9 C742513 2000 PT.1
Format: Books
Availability Beytepe Library~2

The Bloomsbury companion to philosophical logic

2024-05-23T10:18:23Z

Author Horsten, Leon. Pettigrew, Richard.
Preferred Shelf Number BC71 B583 2014
Format: Books
Availability Beytepe Library~1

Logic of analog and digital machines

2024-05-23T10:18:23Z

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

Cylindric-like Algebras and Algebraic Logic

2024-05-23T10:18:23Z

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

Mechanical logic in three-dimensional space

2024-05-23T10:18:23Z

Author Auletta, Gennaro, author.
Preferred Shelf Number ONLINE(342612.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2024-05-23T10:18:23Z

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

Digital logic design a rigorous approach

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

Author Bimb,̤ Katalin, 1963-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Sets, Logic and Maths for Computing

2024-05-23T10:18:23Z

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

Logic and the Organization of Information

2024-05-23T10:18:23Z

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

Mathematical Logic for Computer Science

2024-05-23T10:18:23Z

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

Purgatory the logic of total transformation

2024-05-23T10:18:23Z

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

Logic Circuit Design Selected Methods

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Mathematical aspects of logic programming semantics

2024-05-23T10:18:23Z

Author Hitzler, Pascal. Seda, Anthony.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Handbook of logic and language

2024-05-23T10:18:23Z

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

Lollipop logic : grades K-2

2024-05-23T10:18:23Z

Author Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.
Preferred Shelf Number BC71 R57 2011 V.1
Format: Books
Availability Beytepe Library~3

The logic of positive engagement

2024-05-23T10:18:23Z

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

Fuzzy logic and hydrological modeling

2024-05-23T10:18:23Z

Author ?en, Zekí.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Discrete structures, logic, and computability

2024-05-23T10:18:23Z

Author Hein, James L.
Preferred Shelf Number QA76.9.M35 H44 2010
Format: Books
Availability Beytepe Library~1

Fuzzy logic with engineering applications

2024-05-23T10:18:23Z

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

Logic the question of truth

2024-05-23T10:18:23Z

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

Data integration the relational logic approach

2024-05-23T10:18:23Z

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

A Concise Introduction to Mathematical Logic

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Neural Cell Behavior and Fuzzy Logic

2024-05-23T10:18:23Z

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

Lectures on logic : Berlin, 1831

2024-05-23T10:18:23Z

Author Hegel, Georg Wilhelm Friedrich. Butler, Clark, 1944-
Preferred Shelf Number B2944.V652 E5 2008
Format: Books
Availability Beytepe Library~1

A Course on Mathematical Logic

2024-05-23T10:18:23Z

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

Elementary Logic For Software Development

2024-05-23T10:18:23Z

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

Temporal Logic and State Systems

2024-05-23T10:18:23Z

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

Sets, Logic and Maths for Computing

2024-05-23T10:18:23Z

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

Extensionalism The Revolution in Logic

2024-05-23T10:18:23Z

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

Logic and computer design fundamentals

2024-05-23T10:18:23Z

Author Mano, M. Morris Kime, Charles R., ort. yaz.
Preferred Shelf Number TK7888.4 M36 2008
Format: Books
Availability Beytepe Library~3

Digital electronics and logic design

2024-05-23T10:18:23Z

Author Nair, B. Somanathan.
Preferred Shelf Number TK7868.D5 N35 2008
Format: Books
Availability Beytepe Library~1

Introduction to Fuzzy Logic using MATLAB

2024-05-23T10:18:23Z

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

Fuzzy logic with engineering applications

2024-05-23T10:18:23Z

Author Ross, Timothy J.
Preferred Shelf Number TA331 R675 2007
Format: Books
Availability Beytepe Library~1

Logic : informal, symbolic and inductive

2024-05-23T10:18:23Z

Author Chakraborti, Chhanda.
Preferred Shelf Number BC91 C42 2007
Format: Books
Availability Beytepe Library~1

Fuzzy logic and the semantic web

2024-05-23T10:18:23Z

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

Theories of Judgment Psychology, Logic, Phenomenology

2024-05-23T10:18:23Z

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

A Concise Introduction to Mathematical Logic

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Quantifiers in language and logic

2024-05-23T10:18:23Z

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

Handbook of Philosophical Logic, 2nd Edition

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Fuzzy Logic, Identification and Predictive Control

2024-05-23T10:18:23Z

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

Grounded Consequence for Defeasible Logic

2024-05-23T10:18:23Z

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

Fuzzy logic for embedded systems applications

2024-05-23T10:18:23Z

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

Linear Logic in Computer Science

2024-05-23T10:18:23Z

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

Relevant Logic A Philosophical Interpretation

2024-05-23T10:18:23Z

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

Probability theory : the logic of science

2024-05-23T10:18:23Z

Author Jaynes, E. T. Bretthorst, G. Larry, ed.
Preferred Shelf Number QA 273 J36 2003
Format: Books
Availability Beytepe Library~1

Logic and computer design fundamentals

2024-05-23T10:18:23Z

Author Mano, M. Morris Kime, Charles R., ort. yaz.
Preferred Shelf Number TK 7888.4 M36 2004
Format: Books
Availability Beytepe Library~1

Genetics and the logic of evolution

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Arithmetic and logic in computer systems

2024-05-23T10:18:23Z

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

Digital logic testing and simulation

2024-05-23T10:18:23Z

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

Verilog coding for logic synthesis

2024-05-23T10:18:23Z

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

Probability Theory The Logic of Science

2024-05-23T10:18:23Z

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

The Logic of Concept Expansion

2024-05-23T10:18:23Z

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

The logic of knowledge bases

2024-05-23T10:18:23Z

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

Computers : from logic to architecture

2024-05-23T10:18:23Z

Author Dowsing, R. (Roy) Woodhams, Frank. Marshall, Ian.
Preferred Shelf Number QA 76.9.A73 D45 2000
Format: Books
Availability Beytepe Library~1

Air logic control for automated systems

2024-05-23T10:18:23Z

Author Wojtecki, Rudy.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Hegel's science of logic

2024-05-23T10:18:23Z

Author Hegel, Georg Wilhelm Friedrich, 1770-1831. Miller, Arnold V.
Preferred Shelf Number B2942.E5 M55 1998
Format: Books
Availability Beytepe Library~1

The essence of logic circuits

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Organic reactions, simplicity and logic

2024-05-23T10:18:23Z

Author Laszlo, Pierre.
Preferred Shelf Number QD253 .L3813 1995
Format: Books
Availability Beytepe Library~1

The logic of chemical synthesis

2024-05-23T10:18:23Z

Author Corey, E. J. Cheng, Xue-min, ort. yaz.
Preferred Shelf Number QD 262 C577 1995
Format: Books
Availability Health Sciences Library~1

From logic to logic programming

2024-05-23T10:18:23Z

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

Computer architecture and logic design

2024-05-23T10:18:23Z

Author Bartee, Thomas C.
Preferred Shelf Number QA 76.9.A73 B374 1991
Format: Books
Availability Beytepe Library~1

Kotarbinski : logic, semantics, and ontology

2024-05-23T10:18:23Z

Author Wolenski, J., ed.
Preferred Shelf Number B 4691.K594 K67 1990
Format: Books
Availability Beytepe Library~1

Parallel computers : object-oriented, functional, logic

2024-05-23T10:18:23Z

Author Treleaven, P. C., ed.
Preferred Shelf Number QA 76.5 P314 1990
Format: Books
Availability Beytepe Library~1

Leibniz's philosophy logic and language

2024-05-23T10:18:23Z

Author Ishiguro, Hide
Preferred Shelf Number B 2599.L8 I83 1990
Format: Books
Availability Beytepe Library~1

Systems programming in parallel logic languages

2024-05-23T10:18:23Z

Author Foster, Ian, 1959-
Preferred Shelf Number QA 76.66 F67 1990
Format: Books
Availability Beytepe Library~1

Foundations of equational logic programming

2024-05-23T10:18:23Z

Author Hölldobler, Steffen, 1957-
Preferred Shelf Number QA 76.63 H65 1989
Format: Books
Availability Beytepe Library~1

The sociological logic of space

2024-05-23T10:18:23Z

Author Hillier, Bill. Hanson, J., ort. yaz.
Preferred Shelf Number NA 2765 H558 1984
Format: Books
Availability Beytepe Library~1

The architectural logic of database systems.

2024-05-23T10:18:23Z

Author Yannakoudakis, E. J., 1950-
Preferred Shelf Number QA 76.9.D3 Y36 1988
Format: Books
Availability Beytepe Library~1

Logic programming and knowledge engineering

2024-05-23T10:18:23Z

Author Amble, Tore, 1945-
Preferred Shelf Number QA 76.6 A464 1987
Format: Books
Availability Beytepe Library~1

Logic testing and design for testability

2024-05-23T10:18:23Z

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

Mathematical logic and programming languages

2024-05-23T10:18:23Z

Author Hoare, C. A. R., ed. Shepherdson, J. C., ed.
Preferred Shelf Number QA 9 M42 1985
Format: Books
Availability Beytepe Library~1

The Logic of international relations

2024-05-23T10:18:23Z

Author Jones, Walter S., 1938- Rosen, S. J., ort. yaz.
Preferred Shelf Number JX 1395 J73
Format: Books
Availability Beytepe Library~1

Logic circuits and microcomputer systems

2024-05-23T10:18:23Z

Author Wiatrowski, Claude A. House, H., ort. yaz.
Preferred Shelf Number TK 7868.L6 W5 1980
Format: Books
Availability Beytepe Library~1

Logic design and switching theory

2024-05-23T10:18:23Z

Author Muroga, Saburo.
Preferred Shelf Number TK 7868.L6 M87 1979
Format: Books
Availability Beytepe Library~1

Digital logic and computer design

2024-05-23T10:18:23Z

Author Mano, M. Morris.
Preferred Shelf Number TK 7888.3 M345 1979
Format: Books
Availability Beytepe Library~1

Problems and solutions in logic design

2024-05-23T10:18:23Z

Author Zissos, D.
Preferred Shelf Number TK 7868.L6 Z57 1979
Format: Books
Availability Beytepe Library~1

The linguistic basis of logic translation

2024-05-23T10:18:23Z

Author Otto, Herbert R.
Preferred Shelf Number P 306 O8 1978
Format: Books
Availability Beytepe Library~1

Digital circuits and logic design

2024-05-23T10:18:23Z

Author Lee, Samuel C.
Preferred Shelf Number TK 7868.D5 L4 1976
Format: Books
Availability Beytepe Library~1

Symbolic logic and mechanical theorem proving

2024-05-23T10:18:23Z

Author Chang, Chin-Liang, 1937- Lee, R. C., ed.
Preferred Shelf Number QA 9 C49 1973
Format: Books
Availability Beytepe Library~1

Designing logic systems using state machines

2024-05-23T10:18:23Z

Author Clare, Christopher R.
Preferred Shelf Number TK 7888.3 C6 1973
Format: Books
Availability Beytepe Library~1

Logic : the study of deductive reasoning

2024-05-23T10:18:23Z

Author Yıldırım, Cemal.
Preferred Shelf Number BC 71 Y51 1973
Format: Books
Availability Beytepe Library~1

A mathematical introduction to logic

2024-05-23T10:18:23Z

Author Enderton, Herbert B.
Preferred Shelf Number QA 9 E54 1972
Format: Books
Availability Beytepe Library~1

Lawlikeness, analogy and inductive logic

2024-05-23T10:18:23Z

Author Pietarinen, Juhani.
Preferred Shelf Number BC 91 P6172 1972
Format: Books
Availability Beytepe Library~1

Analog/logic computer programming and simulation

2024-05-23T10:18:23Z

Author Ricci, Fred J.
Preferred Shelf Number QA 76.4 R53 1973
Format: Books
Availability Beytepe Library~1

Threshold logic and its applications

2024-05-23T10:18:23Z

Author Muroga, Saburo.
Preferred Shelf Number QA 401 M85 1971
Format: Books
Availability Beytepe Library~1

Eighteenth-century British logic and rhetoric

2024-05-23T10:18:23Z

Author Howell, Wilbur Samuel, 1904-
Preferred Shelf Number BC 38 H59 1971
Format: Books
Availability Beytepe Library~1

Deontic logic : introductory and systematic readings

2024-05-23T10:18:23Z

Author Hilpinen, Risto.
Preferred Shelf Number BC 145 H53 1971
Format: Books
Availability Beytepe Library~1

Recursive function theory and logic

2024-05-23T10:18:23Z

Author Yasuhara, Ann.
Preferred Shelf Number QA 248.5 Y36 1971
Format: Books
Availability Beytepe Library~1

A profile of mathematical logic

2024-05-23T10:18:23Z

Author DeLong, Howard, 1936-
Preferred Shelf Number QA 9 B37 1970
Format: Books
Availability Beytepe Library~1

The logic of the price system

2024-05-23T10:18:23Z

Author Trescott, Paul B.
Preferred Shelf Number HB 201 T67 1970
Format: Books
Availability Beytepe Library~1

Term logic with choice operator

2024-05-23T10:18:23Z

Author Hermes, Hans.
Preferred Shelf Number BC 135 H4 1970
Format: Books
Availability Beytepe Library~1

The logic of comparative social inquiry

2024-05-23T10:18:23Z

Author Przeworski, Adam. Teune, Henry, ort. yaz.
Preferred Shelf Number H 62 P79 1970
Format: Books
Availability Beytepe Library~1

An introduction to mathematical logic

2024-05-23T10:18:23Z

Author Robinson, Gerson B., 1909-
Preferred Shelf Number QA 9 R72 1969
Format: Books
Availability Beytepe Library~1

Logic and philosophy : a modern introduction

2024-05-23T10:18:23Z

Author Kahane, Howard, 1928-
Preferred Shelf Number BC 108 K3 1969
Format: Books
Availability Beytepe Library~1

The logic of explanation in psychoanalysis

2024-05-23T10:18:23Z

Author Sherwood, Michael.
Preferred Shelf Number BF 323.E8 S5 1969
Format: Books
Availability Beytepe Library~1

The logic of social inquiry

2024-05-23T10:18:23Z

Author Greer, Scott A.
Preferred Shelf Number H 61 G73 1969
Format: Books
Availability Beytepe Library~1

Basic concepts of mathematics and logic

2024-05-23T10:18:23Z

Author Gemignani, Michael C.
Preferred Shelf Number QA 39 G2846 1968
Format: Books
Availability Beytepe Library~1

An introduction to modal logic

2024-05-23T10:18:23Z

Author Hughes, G. E. Cresswell, M. J., ort. yaz.
Preferred Shelf Number BC 108 H874 1968
Format: Books
Availability Beytepe Library~1

The logic of survey analysis

2024-05-23T10:18:23Z

Author Rosenberg, Morris.
Preferred Shelf Number HN 29 R6 1968
Format: Books
Availability Beytepe Library~1

An Introduction to many-valued logic

2024-05-23T10:18:23Z

Author Ackermann, Robert John, 1933-
Preferred Shelf Number QA 9 A5 1967
Format: Books
Availability Beytepe Library~1

The Logic and rhetoric of exposition

2024-05-23T10:18:23Z

Author Martin, Harold Clark. Ohmann, Richard M., ort. yaz.
Preferred Shelf Number PE 1429 M3
Format: Books
Availability Beytepe Library~1

Logic and the basis of ethics

2024-05-23T10:18:23Z

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

The development of mathematical logic

2024-05-23T10:18:23Z

Author Nidditch, P. H.
Preferred Shelf Number BC 135 N5 1962
Format: Books
Availability Beytepe Library~2

The logic of modern physics

2024-05-23T10:18:23Z

Author Brigman, Percy Williams, 1882-
Preferred Shelf Number QC 6 B68 1960
Format: Books
Availability Beytepe Library~1

The elements of mathematical logic

2024-05-23T10:18:23Z

Author Rosenbloom, Paul C.
Preferred Shelf Number BC 135 R7236 1950
Format: Books
Availability Beytepe Library~1

Logic : the theory of inquiry

2024-05-23T10:18:23Z

Author Dewey, John, 1859-
Preferred Shelf Number BC 50 D43 1938
Format: Books
Availability Beytepe Library~1

Logic Pro 8 audio and music production

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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 '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

2024-05-23T10:18:23Z

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 '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

2024-05-23T10:18:23Z

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 '85 proceedings of the colloquium held in Orsay, France July 1985

2024-05-23T10:18:23Z

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

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

2024-05-23T10:18:23Z

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

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

2024-05-23T10:18:23Z

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

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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.

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Advanced fuzzy logic approaches in engineering science

2024-05-23T10:18:23Z

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

Logic and discrete mathematics : a concise introduction

2024-05-23T10:18:23Z

Author Conradie, Willem, 1978- author. Goranko, Valentin, author.
Preferred Shelf Number QA9 C7423 2015
Format: Books
Availability Beytepe Library~1

Later medieval metaphysics ontology, language, and logic

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

2024-05-23T10:18:23Z

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

Linguistic Fuzzy Logic Methods in Social Sciences

2024-05-23T10:18:23Z

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

A Course in Mathematical Logic for Mathematicians

2024-05-23T10:18:23Z

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

Towards a Design Flow for Reversible Logic

2024-05-23T10:18:23Z

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

Designing social research : the logic of anticipation

2024-05-23T10:18:23Z

Author Blaikie, Norman W. H., 1933-
Preferred Shelf Number H61 B53 2010
Format: Books
Availability Beytepe Library~1