Universal instantiation: A study of the role of context in logic

From MaRDI portal
Publication:1590518