Limit Search Results
Author
SpringerLink (Online service)
(108)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Jatowt, Adam. editor.
(3)
Macpherson, Dugald.
(3)
Language
Publication Date
-
Subject
Model theory.
(18)
Computer science.
(15)
Mathematics.
(8)
Software engineering.
(8)
Logic, Symbolic and mathematical.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
223 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Model theory
Model theory
Author 
Chang, Chen Chung, 1927- Keisler, H. Jerome.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880543
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Finite Model Theory
Finite Model Theory
Author 
Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28788-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Finite model theory
Finite model theory
Author 
Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg.
Preferred Shelf Number 
QA9.7 E23 1999
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
4. 
Cover image for Algebraic model theory
Algebraic model theory
Author 
Hart, Bradd T., ed. Lachlan, Alistair H., ed. Valeriote, Matthew A., ed.
Preferred Shelf Number 
QA 9.7 A43 1997
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Introduction to model theory
Introduction to model theory
Author 
Rothmaler, Philipp.
Preferred Shelf Number 
QA9.7 .R671 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Model theory and modules
Model theory and modules
Author 
Prest, Mike.
Preferred Shelf Number 
QA9.7 .P74 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Model Theory and Applications
Model Theory and Applications
Author 
Mangani, P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11121-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Institution-independent Model Theory
Institution-independent Model Theory
Author 
Diaconescu, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Finite and Algorithmic Model Theory
Finite and Algorithmic Model Theory
Author 
Esparza, Javier. Michaux, Christian. Steinhorn, Charles.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Model theory and its applications
Model theory and its applications
Author 
Kopperman, Ralph.
Preferred Shelf Number 
QA 9 K6778 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
Cover image for A course in model theory
A course in model theory
Author 
Tent, Katrin, 1963- Ziegler, Martin.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438561
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Finite Model Theory and Its Applications
Finite Model Theory and Its Applications
Author 
Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-68804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action