Limit Search Results
Author
SpringerLink (Online service)
(1849)
Project Muse.
(22)
Voronkov, Andrei. editor.
(16)
Wiley InterScience (Online service)
(13)
Gabbay, Dov M., 1945-
(12)
Language
Publication Date
-
Subject
Computer science.
(1243)
Logic design.
(1147)
Software engineering.
(874)
Artificial intelligence.
(606)
Logic, Symbolic and mathematical.
(314)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2722 Results Found Subscribe to search results
000000000000DEFAULT
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 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
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:
Select an Action