Logic and Learning: an Algebra and Finite-Model-Theory Approach

Full project page

Organisations map overview