An algebraic characterization of inductive soundness in proof by consistency

From MaRDI portal
Publication:1894333