Repository | Directory | Profile

Grigore Roşu
Complete categorical deduction for satisfaction as injectivity
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
European Society
for Phenomenology
Repository | Directory | Profile

Complete categorical deduction for satisfaction as injectivity
2006
in: Algebra, meaning, and computation, Dordrecht : Springer