scientific article; zbMATH DE number 3499212

zbMath0318.68017MaRDI QIDQ4080703

No author found.

Publication date: 1975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Classical first-order logic (03B10) General topics in the theory of software (68N01)

Related Items

IO and OI. I ⋮ IO and OI. II