Weak Godels incompleteness property for some decidable versions of first order logic


Abstract in English

Download