Interpolation and definability
Interpolation and definability
Dov M. Gabbay
Details
OL Work ID
OL669778W
Subjects
Definability theory (Mathematical logic)
Interpolation
Modality (Logic)
Logic
Find this book
Open Library