Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
20 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computability, complexity, logic
Computability, complexity, logic
Author 
Börger, E. (Egon), 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
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 Systems of logic
Systems of logic
Author 
Martin, Norman M.
Preferred Shelf Number 
BC 135 M325 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Computability and logic
Computability and logic
Author 
Boolos, George S. Jeffrey, R. C., ort. yaz.
Preferred Shelf Number 
QA 9.59 B66 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Foundations of illocutionary logic
Foundations of illocutionary logic
Author 
Searle, John R.
Preferred Shelf Number 
P 95.55 S42 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Advanced digital logic concepts
Advanced digital logic concepts
Preferred Shelf Number 
TK 7868.D5 A95 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
Cover image for Foundations of equational logic programming
Foundations of equational logic programming
Author 
Hölldobler, Steffen, 1957-
Preferred Shelf Number 
QA 76.63 H65 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Author 
Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Author 
Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880222
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987
Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987
Author 
International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444705204
Format: 
Availability 
Online Library~1
Available:
Copies: