Limit Search Results
Author
Language
Subject
Material Type
172 Results Found Subscribe to search results
000000000000DEFAULT
Print
Author 
Martin, Norman M.
Preferred Shelf Number 
BC 135 M325 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Searle, John R.
Preferred Shelf Number 
P 95.55 S42 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Boolos, George S. Jeffrey, R. C., ort. yaz.
Preferred Shelf Number 
QA 9.59 B66 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.
Preferred Shelf Number 
QA 76.9.M35 W67 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Pinborg, Jan. Kretzmann, Norman, ed.
Preferred Shelf Number 
BC 34 M43 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Smets, Philippe, ed. by
Preferred Shelf Number 
QA 9.4 N65 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Spade, Paul Vincent.
Preferred Shelf Number 
BC 34.S11 L54 1988
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
Author 
Kröger, Fred, 1945-
Preferred Shelf Number 
QA 76.6 K753 1987
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Holland, John Henry, 1929-
Preferred Shelf Number 
BF 441 I53 1986
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Hoare, C. A. R., ed. Shepherdson, J. C., ed.
Preferred Shelf Number 
QA 9 M42 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Ashworth, E. J.
Preferred Shelf Number 
P 106 A78 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College) Lewry, P. Osmund, ed.
Preferred Shelf Number 
BC 39.5.G7 E97 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies: