Labelled deductive systems
Labelled deductive systems
Dov M. Gabbay
Details
OL Work ID
OL669780W
Subjects
Logic
Find this book
Open Library