论文信息 - Undecidability of the homogeneous formulas of degree 3 of the predicate calculus - 字舞流文

Undecidability of the homogeneous formulas of degree 3 of the predicate calculus

August Pieczkowski

[1] Undecidability of first order sentences in the theory of free groupoids , 1956 .