scientific article
From MaRDI portal
Publication:3271835
zbMath0094.00603MaRDI QIDQ3271835
No author found.
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Critical theories ⋮ Matrix hierarchies of first-order languages and their applications ⋮ Classification of derivable propositional formulas ⋮ Composition structure of programmology ⋮ Foundations of programmology ⋮ Turing machine computations in finitely axiomatizable theories
This page was built for publication: