Limit Search Results
Author
SpringerLink (Online service)
(225)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Schlechta, Karl. author.
(4)
Andreescu, Titu. author.
(3)
Language
Publication Date
-
Subject
Mathematics.
(129)
Computer science.
(101)
Logic.
(48)
Artificial intelligence.
(34)
Logic design.
(31)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
314 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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:
Select an Action