Fundamenta Informaticae > 2019 > Vol. 164, nr 4 > 375--386
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2019-1774 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Blass A, Gurevich Y. Henkin quantifiers and complete problems, Annals of Pure and Applied Logic, 1986;32:1-16. URL https://doi.org/10.1016/0168-0072(86)90040-0.
-
[2] Ceitin G. Associative calculus with insoluble equivalence problem, Dokl. Akad. Nauk SSSR (N.S.), 1956;107:370-371, In Russian.
-
[3] Enderton HB. Finite Partially-Ordered Quantifiers, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1970;16:393-397. URL https://doi.org/10.1002/malq.19700160802.