A state-of-affairs-semantic solution to the problem of extensionality in free logic

From MaRDI portal
Publication:830394