REDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS

From MaRDI portal
Publication:3269133