Limit Search Results
Author
SpringerLink (Online service)
(137)
Barthe, Gilles. editor.
(2)
Boer, Frank S. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Carnap, Rudolf, 1891-1970.
(2)
Language
Subject
Computer science.
(112)
Logic design.
(97)
Software engineering.
(68)
Artificial intelligence.
(40)
Logic, Symbolic and mathematical.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
179 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic countdown
Logic countdown
Author 
Risby, Bonnie.
Preferred Shelf Number 
LB1590.3 R57 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Mathematical logic
Mathematical logic
Author 
Tourlakis, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118032435
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Logic in Reality
Logic in Reality
Author 
Brenner, Joseph E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8375-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
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:
7. 
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:
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 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:
11. 
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:
12. 
Cover image for Logic and computer design fundamentals
Logic and computer design fundamentals
Author 
Mano, M. Morris Kime, Charles R., ort. yaz.
Preferred Shelf Number 
TK7888.4 M36 2008
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
Select an Action