A cut-free, sound and complete Russellian theory of definite descriptions

From MaRDI portal
Publication:6541147