Search
Springer
Complete categorical deduction for satisfaction as injectivity
Vol. 4060
Grigore Roşu
Volume
Title
Author