Projective and inductive generation of abstract logics

From MaRDI portal
Publication:1234289