Limit Search Results
Author
Language
Subject
Material Type
168 Results Found Subscribe to search results
000000000000DEFAULT
Print
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 
Smets, Philippe, ed. by
Preferred Shelf Number 
QA 9.4 N65 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 
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 
Ashworth, E. J.
Preferred Shelf Number 
P 106 A78 1985
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 
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:
Author 
Brotman, H. Flew, A., ed.
Preferred Shelf Number 
BC 6 E86 1981
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Preferred Shelf Number 
REF/BC 9 D48 1981
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Packard, Dennis J. Faulconer, James E., ort. yaz.
Preferred Shelf Number 
BC 108 P22 1980
Format: 
Availability 
Beytepe Library~2
Available:
Copies: