Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. Journal für die Reine und Angewandte Mathematik, 1874. [Doi:https://doi.org/10.1515%2Fcrll.1874.77.258 Artikkelin verkkoversio].
dx.doi.org
Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions. Communications on Pure and Applied Mathematics, 1980, nro 33, s. 599–608. doi:10.1002/cpa.3160330503ISSN 0010-3640
Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions. Communications on Pure and Applied Mathematics, 1980, nro 33, s. 599–608. doi:10.1002/cpa.3160330503ISSN 0010-3640