Weak Godels incompleteness property for some decidable versions of first order logic
published by Mohamed Khaled in 2015 and research's language is English
Download
Abstract in English
Download