Conjecturing from consequences

From MaRDI portal
Publication:3552190