scientific article
From MaRDI portal
zbMath0303.68014MaRDI QIDQ4058102
No author found.
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General topics in the theory of software (68N01) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)
Related Items
