scientific article; zbMATH DE number 3591948
From MaRDI portal
Publication:4159023
zbMath0381.03002MaRDI QIDQ4159023
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logical aspects of lattices and related structures (03G10) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Classical propositional logic (03B05) Quantum logic (03G12) Logical aspects of Boolean algebras (03G05)
Related Items (3)
The equational theory of parameterized specifications ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ A generalization of the zero-one principle for sorting algorithms
This page was built for publication:
