scientific article; zbMATH DE number 3558940
From MaRDI portal
Publication:4130978
zbMath0358.68037MaRDI QIDQ4130978
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Classical propositional logic (03B05) General topics in the theory of software (68N01)
Related Items (4)
Program-substitution and admissibility of rules in algorithmic logic ⋮ First-order approximation of algorithmic theories ⋮ Algorithmic logic. Multiple-valued extensions ⋮ On the elimination of iteration quantifiers in a fragment of algorithmic logic
This page was built for publication:
