Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Predicate calculus and program semantics
Predicate calculus and program semantics
Author 
Dijkstra, Edsger Wybe. Scholten, C. S., ort. yaz.
Preferred Shelf Number 
QA 9.35 D55 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
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: