scientific article; zbMATH DE number 3107467
From MaRDI portal
Publication:5846270
zbMath0063.07250MaRDI QIDQ5846270
Publication date: 1943
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ Computational complexity of theories of a binary predicate with a small number of variables ⋮ Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
This page was built for publication: