Limit Search Results
Author
Language
Material Type
Shelf Location
Library
72 Results Found Subscribe to search results
000000000000DEFAULT
Print
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:
Author 
Dalen, D. van.
Preferred Shelf Number 
QA 9 D16 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Eisenberg, Murray.
Preferred Shelf Number 
QA 248 E37 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Quine, Willard Van Orman.
Preferred Shelf Number 
B 840 Q5 1960 W
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Wolenski, J., ed.
Preferred Shelf Number 
B 4691.K594 K67 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Martin, Norman M.
Preferred Shelf Number 
BC 135 M325 1989
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 
Smets, Philippe, ed. by
Preferred Shelf Number 
QA 9.4 N65 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Author 
Kröger, Fred, 1945-
Preferred Shelf Number 
QA 76.6 K753 1987
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 
Grzegorczyk, Andrzej.
Preferred Shelf Number 
BC 131 G7 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies: