Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Introduction a la logique
Introduction a la logique
Author 
Tarski, Alfred.
Preferred Shelf Number 
QA 9 T3 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Elements of mathematical logic (Model theory)
Elements of mathematical logic (Model theory)
Author 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Author 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Author 
Gregg, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Handbook of logic and language
Handbook of logic and language
Author 
Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Author 
Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: 
Availability 
Online Library~1
Available:
Copies: