Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Model theory for model logic : kripke models for modal predicate calculi
Model theory for model logic : kripke models for modal predicate calculi
Author 
Bowen, Kenneth A.
Preferred Shelf Number 
QA 9.46 B68 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Deductive logic : an introduction to evaluation techniques and logical theory
Deductive logic : an introduction to evaluation techniques and logical theory
Author 
Clarke, David S., 1936-
Preferred Shelf Number 
BC 71 C53 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for A general interpreted modal calculus
A general interpreted modal calculus
Author 
Bressan, Aldo.
Preferred Shelf Number 
BC 199.M6 B73L 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies: