Mirroring theorems in free logic

From MaRDI portal
Publication:1981985