Equivalence of coherent theories

From MaRDI portal
Publication:675238