scientific article; zbMATH DE number 3360157
From MaRDI portal
Publication:5633986
zbMath0227.02027MaRDI QIDQ5633986
Publication date: 1963
Full work available at URL: https://eudml.org/doc/186587
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of logic to group theory (20A15) Decidability of theories and sets of sentences (03B25)
Related Items (3)
Some general incompleteness results for partial correctness logics ⋮ Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number ⋮ Model-theoretic and algorithmic questions in group theory
This page was built for publication:
