Limit Search Results
Author
SpringerLink (Online service)
(19)
Abe, Jair Minoro. author.
(1)
Abreu, Pedro H. editor.
(1)
Banerjee, Mohua. editor.
(1)
Bartocci, Ezio. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(6)
Computer Science Logic and Foundations of Programming.
(5)
Computer science -- Mathematics.
(4)
First-order logic.
(4)
Artificial intelligence.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
29 Results Found Subscribe to search results
00000DEFAULT
Print
25. 
Cover image for Independence-Friendly Logic A Game-Theoretic Approach
Independence-Friendly Logic A Game-Theoretic Approach
Author 
Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Simple Theories and Hyperimaginaries
Simple Theories and Hyperimaginaries
Author 
Casanovas, Enrique.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Fundamentals of physical design and query compilation
Fundamentals of physical design and query compilation
Author 
Toman, David. Weddell, Grant E. (Grant Edwin), 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440450
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Logical labyrinths
Logical labyrinths
Author 
Smullyan, Raymond M., author.
Preferred Shelf Number 
QA9 .S575 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Dependence Logic A New Approach to Independence Friendly Logic
Dependence Logic A New Approach to Independence Friendly Logic
Author 
Väänänen, Jouko.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies: