Skolem-type normal forms for first-order languages with a generalized quantifier
Open Access
- 1 January 1964
- journal article
- Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
- Vol. 54 (3), 291-302
- https://doi.org/10.4064/fm-54-3-291-302