Limit Search Results
Author
SpringerLink (Online service)
(137)
Project Muse.
(4)
Bouchon-Meunier, Bernadette. editor.
(3)
Laurent, Anne. editor.
(3)
Strauss, Olivier. editor.
(3)
Language
Subject
Computer logic.
(88)
Mathematical logic.
(76)
Software engineering.
(65)
Artificial intelligence.
(45)
Programming languages (Electronic computers).
(44)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
187 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Introduction to logic
Introduction to logic
Author 
Suppes, Patrick Colonel, 1922-
Preferred Shelf Number 
BC 108 S85 1957
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Logic in games
Logic in games
Author 
Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364947.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in modal logic
Advances in modal logic
Author 
Kracht, Marcus, ed.
Preferred Shelf Number 
BC 199.M6 A38 1998- V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
5. 
Cover image for The logic of practice
The logic of practice
Author 
Bourdieu, Pierre, 1930-2002
Preferred Shelf Number 
GN 468 B6813 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Chance, love and logic : philosophical essays
Chance, love and logic : philosophical essays
Author 
Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.
Preferred Shelf Number 
B 945.P43 C5 1923 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
8. 
Cover image for Studies in inductive logic and probability
Studies in inductive logic and probability
Author 
Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Preferred Shelf Number 
QA 273.4 C37 1971-
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Logic : the theory of formal inference
Logic : the theory of formal inference
Author 
Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Preferred Shelf Number 
BC 108 A55 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for The Bloomsbury companion to philosophical logic
The Bloomsbury companion to philosophical logic
Author 
Horsten, Leon. Pettigrew, Richard.
Preferred Shelf Number 
BC71 B583 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
Cover image for The rise of modern logic from Leibniz to Frege
The rise of modern logic from Leibniz to Frege
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The technique of controversy : principles of dynamic logic
The technique of controversy : principles of dynamic logic
Author 
Bogoslovsky, Boris Basil, 1890-
Preferred Shelf Number 
BC 108 B65 1928 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action