Volume:
Vol-4228
CI-BD-SOQE 2026 | Year:
2026
Paper:
« paper1
| paper2 |
paper3 »
Craig Interpolation Theorem in the Logic of Russellian Definite Descriptions
Andrzej Indrzejczak
29-42
PDF