Compiled labelled deductive systems
Alessandra Russo
,
Luis C. Lamb
,
Dov M. Gabbay
Details
OL Work ID
OL23883411W
Subjects
Computer logic
Find this book
Open Library
