Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
0000000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
Cover image for Principles of logic and logic programming
Principles of logic and logic programming
Author 
Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Inductive logic programming from machine learning to software engineering
Inductive logic programming from machine learning to software engineering
Author 
Bergadano, Francesco, 1963- Gunetti, Daniele.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Author 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Postmodernism, or, The cultural logic of late capitalism
Postmodernism, or, The cultural logic of late capitalism
Author 
Jameson, Fredric.
Preferred Shelf Number 
PN 98.P67 J3 1991
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
8. 
Cover image for Understanding neural networks and fuzzy logic basic concepts and applications
Understanding neural networks and fuzzy logic basic concepts and applications
Author 
Kartalopoulos, Stamatios V. IEEE Neural Networks Council.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273099
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.
Author 
Aoun, Ali Salem
Preferred Shelf Number 
TEZ 3422 DR. 1996
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for Without good reason the rationality debate in philosophy and cognitive science
Without good reason the rationality debate in philosophy and cognitive science
Author 
Stein, Edward, 1965-
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198237730.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Logical frameworks for truth and abstraction an axiomatic study
Logical frameworks for truth and abstraction an axiomatic study
Author 
Cantini, Andrea.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Cylindric algebras
Cylindric algebras
Author 
Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Preferred Shelf Number 
QA 9 H415 1971- V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
13. 
Cover image for Classical recursion theory the theory of functions and sets of natural numbers
Classical recursion theory the theory of functions and sets of natural numbers
Author 
Odifreddi, Piergiorgio, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for İslam mantık tarihi ve Farabi mantığı
İslam mantık tarihi ve Farabi mantığı
Author 
Keklik, Nihat.
Preferred Shelf Number 
BC 34 K4 1969-70
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning
For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning
Author 
Levi, Isaac, 1930-
Preferred Shelf Number 
BC 183 L48 1996
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for The art of causal conjecture
The art of causal conjecture
Author 
Shafer, Glenn, 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267502
Format: 
Availability 
Online Library~1
Available:
Copies: