Limit Search Results
Author
SpringerLink (Online service)
(2670)
Project Muse.
(22)
Kacprzyk, Janusz. editor.
(19)
Voronkov, Andrei. editor.
(19)
Wiley InterScience (Online service)
(13)
Language
Publication Date
-
Subject
Computer science.
(1518)
Logic design.
(1202)
Software engineering.
(1078)
Artificial intelligence.
(893)
Computer Communication Networks.
(358)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3889 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Logic
Logic
Author 
Salmon, Wesley C., 1908-1931
Preferred Shelf Number 
BC 108 S2 1963
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Computational logic
Computational logic
Preferred Shelf Number 
ONLINE(355347.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516244
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Combinatory logic
Combinatory logic
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: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic demystified
Logic demystified
Author 
Boutelle, Anthony. Gibilisco, Stan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic countdown
Logic countdown
Author 
Risby, Bonnie.
Preferred Shelf Number 
LB1590.3 R57 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Logic liftoff
Logic liftoff
Author 
Risby, Bonnie. Crawford, Dean, illustrator.
Preferred Shelf Number 
LB1590.3 R57 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Primarily logic
Primarily logic
Author 
Leimbach, Judy. Crawford, Dean. Crawford, Pat. Draze, Dianne.
Preferred Shelf Number 
LB1590.3 L45 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Mathematical logic
Mathematical logic
Author 
Tourlakis, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118032435
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logic Safari
Logic Safari
Author 
Risby, Bonnie Lou. Palouda, Annelise.
Preferred Shelf Number 
BC101 R57 2005 V.1
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
10. 
Cover image for Logic countdown
Logic countdown
Author 
Risby, Bonnie Lou. Crawford, Dean.
Format: 
Availability 
~0
Available:
Copies:
11. 
Cover image for Logic design
Logic design
Author 
Chen, Wai-Kai, 1936-
Preferred Shelf Number 
TK7868 .L6 V63 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Mathematical logic
Mathematical logic
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: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Dynamic logic
Dynamic logic
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: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logic circuits
Logic circuits
Author 
Morris, Noel Malcolm.
Preferred Shelf Number 
TK 7868.L6 M67 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for Symbolic logic
Symbolic logic
Author 
Copi, Irving M.
Preferred Shelf Number 
BC 135 C58 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for Elementary logic
Elementary logic
Author 
Mates, Benson, 1919-
Preferred Shelf Number 
BC 135 M37 1972 E
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for Symbolic logic
Symbolic logic
Author 
Venn, John, 1834-1923.
Preferred Shelf Number 
BC 135 V4 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
18. 
Cover image for Threshold logic
Threshold logic
Author 
Sheng, Ching-Lai.
Preferred Shelf Number 
QA 401 S46 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
19. 
Cover image for Philosophical logic
Philosophical logic
Author 
Strawson, P. F.
Preferred Shelf Number 
BC6 S8 1968
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
20. 
Cover image for Introductory logic
Introductory logic
Author 
Creighton, James Edwin, 1861-1924.
Preferred Shelf Number 
BC 108 C87 1920
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
21. 
Cover image for Formal logic
Formal logic
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: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logic Colloquium 2007
Logic Colloquium 2007
Author 
Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Logic Colloquium 2006
Logic Colloquium 2006
Author 
Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Logic Colloquium 2005
Logic Colloquium 2005
Author 
Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Dynamic Epistemic Logic
Dynamic Epistemic Logic
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: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Computability, complexity, logic
Computability, complexity, logic
Author 
Börger, E. (Egon), 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Ancient formal logic
Ancient formal logic
Author 
Bochenski, Joseph M., 1902-1995.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533678
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Archaeology of logic
Archaeology of logic
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: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Logic and Structure
Logic and Structure
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: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Logic the basics
Logic the basics
Author 
Beall, J. C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Philosophy of logic
Philosophy of logic
Author 
Jacquette, Dale.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444515414
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Orbiting with logic
Orbiting with logic
Author 
Risby, Bonnie Lou. Crawford, Dean.
Preferred Shelf Number 
LB1590.3 R57 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
33. 
Cover image for Logic and structure
Logic and structure
Author 
Dalen, D. van.
Preferred Shelf Number 
QA 9 D16 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
34. 
Cover image for Digital logic design
Digital logic design
Author 
Holdsworth, B. (Brian) Woods, R. C. (R. Clive)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750645829
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Logic and existence
Logic and existence
Author 
Hyppolite, Jean.
Preferred Shelf Number 
B2949.L8 H913 1997
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
36. 
Cover image for Introduction to logic
Introduction to logic
Author 
Suppes, Patrick Colonel, 1922-
Preferred Shelf Number 
BC 108 S85 1957
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
37. 
Cover image for MYSTICISM AND LOGIC
MYSTICISM AND LOGIC
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: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Understanding Logic Locking
Understanding Logic Locking
Author 
Zamiri Azar, Kimia. author. Mardani Kamali, Hadi. author. Farahmandi, Farimah. author. Tehranipoor, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37989-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advanced Logic Synthesis
Advanced Logic Synthesis
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: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Logic in games
Logic in games
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: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Synchronous precharge logic
Synchronous precharge logic
Author 
Smoszna, Marek.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123985279
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Introduction to logic
Introduction to logic
Author 
Gensler, Harry J., 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Programmable logic controllers
Programmable logic controllers
Author 
Bolton, W. (William), 1933-
Preferred Shelf Number 
TJ223.P76 B65 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
44. 
Cover image for Programmable logic controllers
Programmable logic controllers
Author 
Bolton, W. (William), 1933-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Stochastic Coalgebraic Logic
Stochastic Coalgebraic Logic
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: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Logic in Reality
Logic in Reality
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: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Programmable logic controllers
Programmable logic controllers
Author 
Bolton, W. (William), 1933-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750681124
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Fuzzy Equational Logic
Fuzzy Equational Logic
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: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Contemporary logic design
Contemporary logic design
Author 
Katz, Randy H., 1955-
Preferred Shelf Number 
TK 7888.4 K36 1994
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
50. 
Cover image for Systems of logic
Systems of logic
Author 
Martin, Norman M.
Preferred Shelf Number 
BC 135 M325 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
51. 
Cover image for Computability and logic
Computability and logic
Author 
Boolos, George S. Jeffrey, R. C., ort. yaz.
Preferred Shelf Number 
QA 9.59 B66 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
52. 
Cover image for Logic with prolog
Logic with prolog
Author 
Gibbins, Peter.
Preferred Shelf Number 
QA 76.73.P76 G53 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
53. 
Cover image for Logic tools programming
Logic tools programming
Author 
Pace, Philip, 1956- Pace, L., ort. yaz.
Preferred Shelf Number 
QA 76.6 P325 1987
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
54. 
Cover image for Introduction to logic
Introduction to logic
Author 
Packard, Dennis J. Faulconer, James E., ort. yaz.
Preferred Shelf Number 
BC 108 P22 1980
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
55. 
Cover image for Computer logic design
Computer logic design
Author 
Mano, M. Morris, 1927-
Preferred Shelf Number 
TK 7868.S9 M275 1972
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
56. 
Cover image for Logic for philosophers
Logic for philosophers
Author 
Purtill, Richard L., 1931-
Preferred Shelf Number 
BC 71 P86 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
57. 
Cover image for Sets and logic
Sets and logic
Author 
Hanna, Samuel C. Saber, John C., ort. yaz.
Preferred Shelf Number 
QA 248 H29 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
58. 
Cover image for Introduction to logic
Introduction to logic
Author 
Beach, John D.
Preferred Shelf Number 
BC 108 B34 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
59. 
Cover image for Understanding symbolic logic
Understanding symbolic logic
Author 
Massey, Gerald J.
Preferred Shelf Number 
BC 135 M35 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
60. 
Cover image for Logic in teaching
Logic in teaching
Author 
Ennis, Robert Hugh, 1927-
Preferred Shelf Number 
BC 161.T4 E5 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
61. 
Cover image for Methods of logic
Methods of logic
Author 
Quine, Willard Van Orman.
Preferred Shelf Number 
BC 50 Q8 1966
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
62. 
Cover image for Logic and criticism
Logic and criticism
Author 
Righter, William.
Preferred Shelf Number 
BH 39 R5 1963
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
63. 
Cover image for Introduction to logic
Introduction to logic
Author 
Clark, Romane. Welsh, Paul, ort. yaz.
Preferred Shelf Number 
BC 71 C5 1962
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
64. 
Cover image for Logic for mathematicians
Logic for mathematicians
Author 
Rosser, John Barkley, 1907-
Preferred Shelf Number 
BC 135 R735 1953
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
65. 
Cover image for LOGIC AND KNOWLEDGE
LOGIC AND KNOWLEDGE
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: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Handbook of Philosophical Logic
Handbook of Philosophical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Handbook of Philosophical Logic
Handbook of Philosophical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Handbook of modal logic
Handbook of modal logic
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: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Logic, Thought and Action
Logic, Thought and Action
Author 
Vanderveken, Daniel. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3167-X
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Logic for Computer Scientists
Logic for Computer Scientists
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: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Aspects of inductive logic
Aspects of inductive logic
Author 
Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534088
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Combinatory logic. Volume II
Combinatory logic. Volume II
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: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Introduction to mathematical logic
Introduction to mathematical logic
Author 
Mendelson, Elliott.
Preferred Shelf Number 
QA9 M4 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
75. 
Cover image for VHDL for logic synthesis
VHDL for logic synthesis
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: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Studies in Legal Logic
Studies in Legal Logic
Author 
Hage, Jaap. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3552-7
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Introduction to medieval logic
Introduction to medieval logic
Author 
Broadie, Alexander.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for The logic of sense
The logic of sense
Author 
Deleuze, Gilles.
Preferred Shelf Number 
B840 D3813 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
79. 
Cover image for Fundamentals of computer logic
Fundamentals of computer logic
Author 
Hutchison, David.
Preferred Shelf Number 
TK 7888.4 H97 1981
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
80. 
Cover image for The logic of poetry
The logic of poetry
Author 
Monaco, Richard. Briggs, J., ort. yaz.
Preferred Shelf Number 
PN 1059 M4 M6
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
81. 
Cover image for Language, logic and god
Language, logic and god
Author 
Ferre, Frederick.
Preferred Shelf Number 
B 824.6 F4 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
82. 
Cover image for Introduction to mathematical logic
Introduction to mathematical logic
Author 
Mendelson, Elliott.
Preferred Shelf Number 
QA 9 M4 1964
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
83. 
Cover image for Advances in modal logic
Advances in modal logic
Author 
Kracht, Marcus, ed.
Preferred Shelf Number 
BC 199.M6 A38 1998- V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
84. 
Cover image for Logic in Computer Science
Logic in Computer Science
Author 
Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9816-2
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Foundations of Soft Logic
Foundations of Soft Logic
Author 
Klein, Moshe. author. Maimon, Oded. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58233-2
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Introduction to fuzzy logic
Introduction to fuzzy logic
Author 
Peckol, James K., author. John Wiley & Sons, publisher.
Preferred Shelf Number 
QA9.64 .P43 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Digital Logic for Computing
Digital Logic for Computing
Author 
Seiffertt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56839-3
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
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: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Logic: A Brief Course
Logic: A Brief Course
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: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for The logic of education
The logic of education
Author 
Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Memory-Based Logic Synthesis
Memory-Based Logic Synthesis
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: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Aspects of Mathematical Logic
Aspects of Mathematical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for The science of logic
The science of logic
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: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for The science of logic
The science of logic
Author 
Hegel, Georg Wilhelm Friedrich. Di Giovanni, George, 1935-
Preferred Shelf Number 
B2942.E5 D5 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
95. 
Cover image for Introduction to logic design
Introduction to logic design
Author 
Marcovitz, Alan B.
Preferred Shelf Number 
TK7868 L6 M355 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
96. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Fuzzy logic in geology
Fuzzy logic in geology
Author 
Demicco, Robert V. Klir, George J., 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124151468
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Logic, Thought and Language
Logic, Thought and Language
Author 
O'Hear, Anthony.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Fuzzy logic in chemistry
Fuzzy logic in chemistry
Author 
Rouvray, D. H.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780125989107
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Logic programming and databases
Logic programming and databases
Author 
Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.
Preferred Shelf Number 
QA 76.63 C47 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
101. 
Cover image for Foundations of illocutionary logic
Foundations of illocutionary logic
Author 
Searle, John R.
Preferred Shelf Number 
P 95.55 S42 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
102. 
Cover image for Temporal logic of programs
Temporal logic of programs
Author 
Kröger, Fred, 1945-
Preferred Shelf Number 
QA 76.6 K753 1987
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
103. 
Cover image for Fundamentals of logic design
Fundamentals of logic design
Author 
Roth, Charles H.
Preferred Shelf Number 
TK 7868.L6 R67 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
104. 
Cover image for Fundamentals of logic design
Fundamentals of logic design
Author 
Roth, Charles H.
Preferred Shelf Number 
TK 7868.L6 R67 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
105. 
Cover image for The logic of literature
The logic of literature
Author 
Hamburger, Kate, 1896-
Preferred Shelf Number 
PN 45 H3513 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
106. 
Cover image for Logic, automata, and algorithms
Logic, automata, and algorithms
Author 
Aiserman, Mark A.
Preferred Shelf Number 
QA 267.5.S4 L613 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
107. 
Cover image for Logic, language, and metaphysics
Logic, language, and metaphysics
Author 
Martin, Richard Milton.
Preferred Shelf Number 
BC 51 M37 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
108. 
Cover image for Manual of logic circuits
Manual of logic circuits
Author 
Maley, Gerald A.
Preferred Shelf Number 
QA 401 M35 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
109. 
Cover image for The logic of education
The logic of education
Author 
Hirst, Paul Haywood.
Preferred Shelf Number 
LB 880 H59 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
110. 
Cover image for Introduction to symbolic logic
Introduction to symbolic logic
Author 
Pollock, John L.
Preferred Shelf Number 
BC 135 P68 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
111. 
Cover image for The logic of practice
The logic of practice
Author 
Bourdieu, Pierre, 1930-2002
Preferred Shelf Number 
GN 468 B6813 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
112. 
Cover image for Molecular logic-based computation
Molecular logic-based computation
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: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Logic and Integer Programming
Logic and Integer Programming
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: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Logic design of nanoICs
Logic design of nanoICs
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: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Logic and information flow
Logic and information flow
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: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Logic IC master reference
Logic IC master reference
Author 
Heiserman, David L., 1940-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123380500
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Foundations of logic programming
Foundations of logic programming
Author 
Lloyd, John Wylie, 1947-
Preferred Shelf Number 
QA 76.6 L538 1987
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
118. 
Cover image for Language, truth, and logic
Language, truth, and logic
Author 
Ayer, Alfred Julies, 1910-
Preferred Shelf Number 
B 53 A9 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
119. 
Cover image for Logic, automata, and algorithms
Logic, automata, and algorithms
Author 
Aĭzerman, M. A. (Mark Aronovich), 1913-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Probability and inductive logic
Probability and inductive logic
Author 
Kyburg, Henry Ely, 1928-
Preferred Shelf Number 
BC 91 K9 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
121. 
Cover image for Formal and transcendental logic
Formal and transcendental logic
Author 
Husserl, Edmund, 1859-1938.
Preferred Shelf Number 
BC 122 H813 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
122. 
Cover image for Fulse and logic circuits
Fulse and logic circuits
Author 
Gillie, Angelo C., ed.
Preferred Shelf Number 
TK 7867 G54 1968
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
123. 
Cover image for Set theory and logic
Set theory and logic
Author 
Fraenkel, Abraham Adolf, 1891-1965.
Preferred Shelf Number 
QA 248 F73 1966
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
124. 
Cover image for Logic and boolean algebra
Logic and boolean algebra
Author 
Arnold, Bradford Henry, 1916-
Preferred Shelf Number 
QA 266 A7 1962
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
125. 
Cover image for Advanced digital logic concepts
Advanced digital logic concepts
Preferred Shelf Number 
TK 7868.D5 A95 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
126. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
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: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for A grammatical view of logic programming
A grammatical view of logic programming
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: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Gentzen Calculi for Modal Propositional Logic
Gentzen Calculi for Modal Propositional Logic
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: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Handbook of Philosophical Logic Volume 16
Handbook of Philosophical Logic Volume 16
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: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Handbook of logic and language
Handbook of logic and language
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: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Handbook of Philosophical Logic Volume 15
Handbook of Philosophical Logic Volume 15
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: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for A Companion to philosophical logic
A Companion to philosophical logic
Author 
Jacquette, Dale. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470996751
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Greek, Indian, and Arabic logic
Greek, Indian, and Arabic logic
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
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: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Mathematical Logic Foundations for Information Science
Mathematical Logic Foundations for Information Science
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: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Categorical logic and type theory
Categorical logic and type theory
Author 
Jacobs, Bart.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501707
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Tools and techniques in modal logic
Tools and techniques in modal logic
Author 
Kracht, Marcus.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500557
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Intuitionistic logic, model theory and forcing
Intuitionistic logic, model theory and forcing
Author 
Fitting, Melvin, 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534187
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Elements of mathematical logic (Model theory)
Elements of mathematical logic (Model theory)
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: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for A survey of mathematical logic
A survey of mathematical logic
Author 
Wang, Hao, 1921-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533982
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Truth and consequence in mediaeval logic
Truth and consequence in mediaeval logic
Author 
Moody, Ernest A. (Ernest Addison), 1903-1975.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533760
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for The propositional logic of Boethius
The propositional logic of Boethius
Author 
Dürr, Karl, 1888-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533661
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for An essay in modal logic
An essay in modal logic
Author 
Wright, G. H. von (Georg Henrik), 1916-2003.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533708
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Logic programming languages constraints, functions, and objects
Logic programming languages constraints, functions, and objects
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: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Logic Pro 9 audio and music production
Logic Pro 9 audio and music production
Author 
Cousins, Mark, 1972- Hepworth-Sawyer, Russ.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240521930
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Proceedings of the Second Scandinavian Logic Symposium
Proceedings of the Second Scandinavian Logic Symposium
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: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Studies in inductive logic and probability
Studies in inductive logic and probability
Author 
Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Preferred Shelf Number 
QA 273.4 C37 1971-
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
148. 
Cover image for Logic : the theory of formal inference
Logic : the theory of formal inference
Author 
Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Preferred Shelf Number 
BC 108 A55 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
149. 
Cover image for Chance, love and logic : philosophical essays
Chance, love and logic : philosophical essays
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: 
Availability 
Beytepe Library~1
Available:
Copies:
150. 
Cover image for Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
151. 
Cover image for Fuzzy Logic in Smart Sustainable Cities
Fuzzy Logic in Smart Sustainable Cities
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: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for The populist logic on the environment
The populist logic on the environment
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: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Fuzzy Logic-Based Software Systems
Fuzzy Logic-Based Software Systems
Author 
Chrysafiadi, Konstantina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44457-9
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for R-Calculus, IV: Propositional Logic
R-Calculus, IV: Propositional Logic
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: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Contesting carceral logic : towards abolitionist futures
Contesting carceral logic : towards abolitionist futures
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: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Philosophical logic : a contemporary introduction
Philosophical logic : a contemporary introduction
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: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Non-logic Devices in Logic Processes
Non-logic Devices in Logic Processes
Author 
Ma, Yanjun. author. Kan, Edwin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48339-9
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Separation Logic for High-level Synthesis
Separation Logic for High-level Synthesis
Author 
Winterstein, Felix. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53222-6
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Evolution, the logic of biology
Evolution, the logic of biology
Author 
Torday, John S., author. Rehan, Virender K., author.
Preferred Shelf Number 
QP90.4
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118729403
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Design of Reconfigurable Logic Controllers
Design of Reconfigurable Logic Controllers
Author 
Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26725-8
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Towards the Future of Fuzzy Logic
Towards the Future of Fuzzy Logic
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: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for The Bloomsbury companion to philosophical logic
The Bloomsbury companion to philosophical logic
Author 
Horsten, Leon. Pettigrew, Richard.
Preferred Shelf Number 
BC71 B583 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
163. 
Cover image for Logic of analog and digital machines
Logic of analog and digital machines
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: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Cylindric-like Algebras and Algebraic Logic
Cylindric-like Algebras and Algebraic Logic
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: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Mechanical logic in three-dimensional space
Mechanical logic in three-dimensional space
Author 
Auletta, Gennaro, author.
Preferred Shelf Number 
QC21.3 .A95 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Combinatory logic : pure, applied and typed
Combinatory logic : pure, applied and typed
Author 
Bimbo, Katalin, 1963, author.
Preferred Shelf Number 
QA9.5 .B56 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Logic Circuit Design Selected Methods
Logic Circuit Design Selected Methods
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: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Purgatory the logic of total transformation
Purgatory the logic of total transformation
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: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Digital logic design a rigorous approach
Digital logic design a rigorous approach
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: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Logic and the Organization of Information
Logic and the Organization of Information
Author 
Frické, Martin. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3088-9
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
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: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Logic : the laws of truth
Logic : the laws of truth
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: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Handbook of logic and language
Handbook of logic and language
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: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for The logic of positive engagement
The logic of positive engagement
Author 
Nincic, Miroslav.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.7591/j.ctt7v74h
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Lollipop logic : grades K-2
Lollipop logic : grades K-2
Author 
Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.
Preferred Shelf Number 
BC71 R57 2011 V.1
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
178. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal., author. Seda, Anthony.
Preferred Shelf Number 
QA76.63 .H58 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Modality metaphysics, logic, and epistemology
Modality metaphysics, logic, and epistemology
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: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Discrete structures, logic, and computability
Discrete structures, logic, and computability
Author 
Hein, James L.
Preferred Shelf Number 
QA76.9.M35 H44 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
181. 
Cover image for Fuzzy logic with engineering applications
Fuzzy logic with engineering applications
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: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Data integration the relational logic approach
Data integration the relational logic approach
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: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Fuzzy logic and hydrological modeling
Fuzzy logic and hydrological modeling
Author 
Sen, Zekai., author.
Preferred Shelf Number 
GB656.2 .H9 S46 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Logic the question of truth
Logic the question of truth
Author 
Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Neural Cell Behavior and Fuzzy Logic
Neural Cell Behavior and Fuzzy Logic
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: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Lectures on logic : Berlin, 1831
Lectures on logic : Berlin, 1831
Author 
Hegel, Georg Wilhelm Friedrich. Butler, Clark, 1944-
Preferred Shelf Number 
B2944.V652 E5 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
188. 
Cover image for Temporal Logic and State Systems
Temporal Logic and State Systems
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: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Extensionalism The Revolution in Logic
Extensionalism The Revolution in Logic
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: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Logic and computer design fundamentals
Logic and computer design fundamentals
Author 
Mano, M. Morris Kime, Charles R., ort. yaz.
Preferred Shelf Number 
TK7888.4 M36 2008
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
191. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
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: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Elementary Logic For Software Development
Elementary Logic For Software Development
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: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Digital electronics and logic design
Digital electronics and logic design
Author 
Nair, B. Somanathan.
Preferred Shelf Number 
TK7868.D5 N35 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
195. 
Cover image for Fuzzy logic with engineering applications
Fuzzy logic with engineering applications
Author 
Ross, Timothy J.
Preferred Shelf Number 
TA331 R675 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
196. 
Cover image for Introduction to Fuzzy Logic using MATLAB
Introduction to Fuzzy Logic using MATLAB
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: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Logic : informal, symbolic and inductive
Logic : informal, symbolic and inductive
Author 
Chakraborti, Chhanda.
Preferred Shelf Number 
BC91 C42 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
198. 
Cover image for Fuzzy logic and the semantic web
Fuzzy logic and the semantic web
Author 
Sanchez, Elie, 1944-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444519481
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Quantifiers in language and logic
Quantifiers in language and logic
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: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Rigid Flexibility The Logic of Intelligence
Rigid Flexibility The Logic of Intelligence
Author 
Wang, Pei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5045-3
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
Author 
Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Fuzzy Logic Applications in Engineering Science
Fuzzy Logic Applications in Engineering Science
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: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Theories of Judgment Psychology, Logic, Phenomenology
Theories of Judgment Psychology, Logic, Phenomenology
Author 
Martin, Wayne.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Grounded Consequence for Defeasible Logic
Grounded Consequence for Defeasible Logic
Author 
Antonelli, Aldo.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Fuzzy Logic in Financial Analysis
Fuzzy Logic in Financial Analysis
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: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Handbook of Philosophical Logic, 2nd Edition
Handbook of Philosophical Logic, 2nd Edition
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: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Fuzzy Logic, Identification and Predictive Control
Fuzzy Logic, Identification and Predictive Control
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: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Probability theory : the logic of science
Probability theory : the logic of science
Author 
Jaynes, E. T. Bretthorst, G. Larry, ed.
Preferred Shelf Number 
QA 273 J36 2003
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
209. 
Cover image for Logic and computer design fundamentals
Logic and computer design fundamentals
Author 
Mano, M. Morris Kime, Charles R., ort. yaz.
Preferred Shelf Number 
TK 7888.4 M36 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
210. 
Cover image for Relevant Logic A Philosophical Interpretation
Relevant Logic A Philosophical Interpretation
Author 
Mares, Edwin D..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Linear Logic in Computer Science
Linear Logic in Computer Science
Author 
Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Design of logic-based intelligent systems
Design of logic-based intelligent systems
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: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Arithmetic and logic in computer systems
Arithmetic and logic in computer systems
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: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Fuzzy logic for embedded systems applications
Fuzzy logic for embedded systems applications
Author 
Ibrahim, Ahmad M., 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750676052
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Genetics and the logic of evolution
Genetics and the logic of evolution
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: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Probability Theory The Logic of Science
Probability Theory The Logic of Science
Author 
Jaynes, E. T.. Bretthorst, G. Larry.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Verilog coding for logic synthesis
Verilog coding for logic synthesis
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: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Digital logic testing and simulation
Digital logic testing and simulation
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: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for The Logic of Concept Expansion
The Logic of Concept Expansion
Author 
Buzaglo, Meir.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Computers : from logic to architecture
Computers : from logic to architecture
Author 
Dowsing, R. (Roy) Woodhams, Frank. Marshall, Ian.
Preferred Shelf Number 
QA 76.9.A73 D45 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
221. 
Cover image for The logic of knowledge bases
The logic of knowledge bases
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: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Air logic control for automated systems
Air logic control for automated systems
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: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Hegel's science of logic
Hegel's science of logic
Author 
Hegel, Georg Wilhelm Friedrich, 1770-1831. Miller, Arnold V.
Preferred Shelf Number 
B2942.E5 M55 1998
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
224. 
Cover image for The essence of logic circuits
The essence of logic circuits
Author 
Unger, Stephen H., 1931-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Principles of logic and logic programming
Principles of logic and logic programming
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: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Organic reactions, simplicity and logic
Organic reactions, simplicity and logic
Author 
Laszlo, Pierre.
Preferred Shelf Number 
QD253 .L3813 1995
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
227. 
Cover image for The logic of chemical synthesis
The logic of chemical synthesis
Author 
Corey, E. J. Cheng, Xue-min, ort. yaz.
Preferred Shelf Number 
QD 262 C577 1995
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
228. 
Cover image for From logic to logic programming
From logic to logic programming
Author 
Doets, Kees.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Computer architecture and logic design
Computer architecture and logic design
Author 
Bartee, Thomas C.
Preferred Shelf Number 
QA 76.9.A73 B374 1991
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
230. 
Cover image for Systems programming in parallel logic languages
Systems programming in parallel logic languages
Author 
Foster, Ian, 1959-
Preferred Shelf Number 
QA 76.66 F67 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
231. 
Cover image for Leibniz's philosophy logic and language
Leibniz's philosophy logic and language
Author 
Ishiguro, Hide
Preferred Shelf Number 
B 2599.L8 I83 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
232. 
Cover image for Kotarbinski : logic, semantics, and ontology
Kotarbinski : logic, semantics, and ontology
Author 
Wolenski, J., ed.
Preferred Shelf Number 
B 4691.K594 K67 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
233. 
Cover image for Parallel computers : object-oriented, functional, logic
Parallel computers : object-oriented, functional, logic
Author 
Treleaven, P. C., ed.
Preferred Shelf Number 
QA 76.5 P314 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
234. 
Cover image for Foundations of equational logic programming
Foundations of equational logic programming
Author 
Hölldobler, Steffen, 1957-
Preferred Shelf Number 
QA 76.63 H65 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
235. 
Cover image for The sociological logic of space
The sociological logic of space
Author 
Hillier, Bill. Hanson, J., ort. yaz.
Preferred Shelf Number 
NA 2765 H558 1984
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
236. 
Cover image for The architectural logic of database systems.
The architectural logic of database systems.
Author 
Yannakoudakis, E. J., 1950-
Preferred Shelf Number 
QA 76.9.D3 Y36 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
237. 
Cover image for Logic programming and knowledge engineering
Logic programming and knowledge engineering
Author 
Amble, Tore, 1945-
Preferred Shelf Number 
QA 76.6 A464 1987
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
238. 
Cover image for Mathematical logic and programming languages
Mathematical logic and programming languages
Author 
Hoare, C. A. R., ed. Shepherdson, J. C., ed.
Preferred Shelf Number 
QA 9 M42 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
239. 
Cover image for Logic testing and design for testability
Logic testing and design for testability
Author 
Fujiwara, Hideo.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for The Logic of international relations
The Logic of international relations
Author 
Jones, Walter S., 1938- Rosen, S. J., ort. yaz.
Preferred Shelf Number 
JX 1395 J73
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
241. 
Cover image for Logic circuits and microcomputer systems
Logic circuits and microcomputer systems
Author 
Wiatrowski, Claude A. House, H., ort. yaz.
Preferred Shelf Number 
TK 7868.L6 W5 1980
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
242. 
Cover image for Logic design and switching theory
Logic design and switching theory
Author 
Muroga, Saburo.
Preferred Shelf Number 
TK 7868.L6 M87 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
243. 
Cover image for Digital logic and computer design
Digital logic and computer design
Author 
Mano, M. Morris.
Preferred Shelf Number 
TK 7888.3 M345 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
244. 
Cover image for Problems and solutions in logic design
Problems and solutions in logic design
Author 
Zissos, D.
Preferred Shelf Number 
TK 7868.L6 Z57 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
245. 
Cover image for The linguistic basis of logic translation
The linguistic basis of logic translation
Author 
Otto, Herbert R.
Preferred Shelf Number 
P 306 O8 1978
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
246. 
Cover image for Digital circuits and logic design
Digital circuits and logic design
Author 
Lee, Samuel C.
Preferred Shelf Number 
TK 7868.D5 L4 1976
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
247. 
Cover image for Logic : the study of deductive reasoning
Logic : the study of deductive reasoning
Author 
Yıldırım, Cemal.
Preferred Shelf Number 
BC 71 Y51 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
248. 
Cover image for Symbolic logic and mechanical theorem proving
Symbolic logic and mechanical theorem proving
Author 
Chang, Chin-Liang, 1937- Lee, R. C., ed.
Preferred Shelf Number 
QA 9 C49 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
249. 
Cover image for Designing logic systems using state machines
Designing logic systems using state machines
Author 
Clare, Christopher R.
Preferred Shelf Number 
TK 7888.3 C6 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
250. 
Cover image for Lawlikeness, analogy and inductive logic
Lawlikeness, analogy and inductive logic
Author 
Pietarinen, Juhani.
Preferred Shelf Number 
BC 91 P6172 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
251. 
Cover image for Analog/logic computer programming and simulation
Analog/logic computer programming and simulation
Author 
Ricci, Fred J.
Preferred Shelf Number 
QA 76.4 R53 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
252. 
Cover image for A mathematical introduction to logic
A mathematical introduction to logic
Author 
Enderton, Herbert B.
Preferred Shelf Number 
QA 9 E54 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
253. 
Cover image for Deontic logic : introductory and systematic readings
Deontic logic : introductory and systematic readings
Author 
Hilpinen, Risto.
Preferred Shelf Number 
BC 145 H53 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
254. 
Cover image for Threshold logic and its applications
Threshold logic and its applications
Author 
Muroga, Saburo.
Preferred Shelf Number 
QA 401 M85 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
255. 
Cover image for Recursive function theory and logic
Recursive function theory and logic
Author 
Yasuhara, Ann.
Preferred Shelf Number 
QA 248.5 Y36 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
256. 
Cover image for Eighteenth-century British logic and rhetoric
Eighteenth-century British logic and rhetoric
Author 
Howell, Wilbur Samuel, 1904-
Preferred Shelf Number 
BC 38 H59 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
257. 
Cover image for Term logic with choice operator
Term logic with choice operator
Author 
Hermes, Hans.
Preferred Shelf Number 
BC 135 H4 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
258. 
Cover image for The logic of comparative social inquiry
The logic of comparative social inquiry
Author 
Przeworski, Adam. Teune, Henry, ort. yaz.
Preferred Shelf Number 
H 62 P79 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
259. 
Cover image for A profile of mathematical logic
A profile of mathematical logic
Author 
DeLong, Howard, 1936-
Preferred Shelf Number 
QA 9 B37 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
260. 
Cover image for The logic of the price system
The logic of the price system
Author 
Trescott, Paul B.
Preferred Shelf Number 
HB 201 T67 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
261. 
Cover image for Logic and philosophy : a modern introduction
Logic and philosophy : a modern introduction
Author 
Kahane, Howard, 1928-
Preferred Shelf Number 
BC 108 K3 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
262. 
Cover image for The logic of explanation in psychoanalysis
The logic of explanation in psychoanalysis
Author 
Sherwood, Michael.
Preferred Shelf Number 
BF 323.E8 S5 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
263. 
Cover image for The logic of social inquiry
The logic of social inquiry
Author 
Greer, Scott A.
Preferred Shelf Number 
H 61 G73 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
264. 
Cover image for An introduction to mathematical logic
An introduction to mathematical logic
Author 
Robinson, Gerson B., 1909-
Preferred Shelf Number 
QA 9 R72 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
265. 
Cover image for An introduction to modal logic
An introduction to modal logic
Author 
Hughes, G. E. Cresswell, M. J., ort. yaz.
Preferred Shelf Number 
BC 108 H874 1968
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
266. 
Cover image for The logic of survey analysis
The logic of survey analysis
Author 
Rosenberg, Morris.
Preferred Shelf Number 
HN 29 R6 1968
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
267. 
Cover image for Basic concepts of mathematics and logic
Basic concepts of mathematics and logic
Author 
Gemignani, Michael C.
Preferred Shelf Number 
QA 39 G2846 1968
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
268. 
Cover image for An Introduction to many-valued logic
An Introduction to many-valued logic
Author 
Ackermann, Robert John, 1933-
Preferred Shelf Number 
QA 9 A5 1967
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
269. 
Cover image for The Logic and rhetoric of exposition
The Logic and rhetoric of exposition
Author 
Martin, Harold Clark. Ohmann, Richard M., ort. yaz.
Preferred Shelf Number 
PE 1429 M3
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
270. 
Cover image for Logic and the basis of ethics
Logic and the basis of ethics
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: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for The development of mathematical logic
The development of mathematical logic
Author 
Nidditch, P. H.
Preferred Shelf Number 
BC 135 N5 1962
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
272. 
Cover image for The logic of modern physics
The logic of modern physics
Author 
Brigman, Percy Williams, 1882-
Preferred Shelf Number 
QC 6 B68 1960
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
273. 
Cover image for The elements of mathematical logic
The elements of mathematical logic
Author 
Rosenbloom, Paul C.
Preferred Shelf Number 
BC 135 R7236 1950
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
274. 
Cover image for Logic : the theory of inquiry
Logic : the theory of inquiry
Author 
Dewey, John, 1859-
Preferred Shelf Number 
BC 50 D43 1938
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
275. 
Cover image for Logic Pro 8 audio and music production
Logic Pro 8 audio and music production
Author 
Cousins, Mark. Hepworth-Sawyer, Russ.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240520476
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Fundamentals of digital logic and microcomputer design
Fundamentals of digital logic and microcomputer design
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: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Logic on the track of social change
Logic on the track of social change
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: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Judgement and the Epistemic Foundation of Logic
Judgement and the Epistemic Foundation of Logic
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: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for McGraw-Hill's conquering LSAT logic games
McGraw-Hill's conquering LSAT logic games
Author 
Curvebreakers.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984
Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984
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: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Logic programming proceedings of the Tenth International Conference on Logic Programming
Logic programming proceedings of the Tenth International Conference on Logic Programming
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: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Logic programming proceedings of the 1997 International Symposium
Logic programming proceedings of the 1997 International Symposium
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: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Handbook of quantum logic and quantum structures quantum logic
Handbook of quantum logic and quantum structures quantum logic
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: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Inductive logic programming from machine learning to software engineering
Inductive logic programming from machine learning to software engineering
Author 
Bergadano, Francesco, 1963- Gunetti, Daniele.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Logic programming proceedings of the twelfth International Conference on Logic Programming
Logic programming proceedings of the twelfth International Conference on Logic Programming
Author 
Sterling, Leon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Logic programming proceedings of the eleventh International Conference on Logic Programming
Logic programming proceedings of the eleventh International Conference on Logic Programming
Author 
Van Hentenryck, Pascal.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
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: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
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: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
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: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
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: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Author 
Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
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: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
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: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981
Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981
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: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
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: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
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: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
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: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981
Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981
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: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
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: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
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: 
Availability 
Online Library~1
Available:
Copies:
Select an Action