Limit Search Results
Author
SpringerLink (Online service)
(1972)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Gabbay, Dov M., 1945-
(12)
Wiley InterScience (Online service)
(12)
Language
Publication Date
-
Subject
Computer science.
(1227)
Logic design.
(1134)
Software engineering.
(870)
Artificial intelligence.
(606)
Computer Communication Networks.
(294)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2753 Results Found Subscribe to search results
000000000000DEFAULT
Print
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:
Select an Action