Handbook of logic in computer science
Handbook of logic in computer science
Samson Abramsky
,
Dov M. Gabbay
Details
OL Work ID
OL19809213W
Subjects
Symbolic and mathematical Logic
Computer science
Find this book
Open Library