scientific article
From MaRDI portal
Publication:3265663
zbMath0091.01102MaRDI QIDQ3265663
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Undecidability of modal and intermediate first-order logics with two individual variables ⋮ On the solvability of a subclass of the surányi reduction class ⋮ On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups ⋮ Diem-Grade Logischer Entscheidungsprobleme ⋮ 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
This page was built for publication:
