The Logic of Correct Models

From MaRDI portal
Publication:6523152