Khaled, M. (2024.0) A Version of Predicate Logic with Two Variables That has an Incompleteness Property. STUDIA LOGICA , 23.0.