scientific article; zbMATH DE number 3247153
From MaRDI portal
Publication:5533179
zbMath0154.00503MaRDI QIDQ5533179
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Hierarchies of Partially Ordered Connectives and Quantifiers ⋮ On Presburger arithmetic extended with non-unary counting quantifiers ⋮ On the expressive power of counting ⋮ The Craig interpolation theorem in abstract model theory
This page was built for publication:
