Prediction logic: A method for empirical evaluation of formal theory† (Q4145492)

From MaRDI portal