Publication:3265663
From MaRDI portal
zbMath0091.01102MaRDI QIDQ3265663
Publication date: 1959
Related Items
Undecidability of modal and intermediate first-order logics with two individual variables, On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups, On the solvability of a subclass of the surányi reduction class, Reduction of the decision problem of the first order predicate calculus to reflexive and symmetrical binary predicates, The unsolvability of the Gödel class with identity, Diem-Grade Logischer Entscheidungsprobleme