A fully logical inductive logic

From MaRDI portal
Publication:807614