Publication | Date of Publication | Type |
---|
https://portal.mardi4nfdi.de/entity/Q4558264 | 2018-11-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4962147 | 2018-10-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4962148 | 2018-10-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4962183 | 2018-10-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q5416146 | 2014-05-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3115114 | 2012-02-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4452545 | 2004-03-01 | Paper |
On the Concept of Following Logically | 2003-10-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2702743 | 2002-01-15 | Paper |
Tarski's System of Geometry | 2000-03-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4211199 | 1998-09-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4391214 | 1998-09-13 | Paper |
Some Current Problems in Metamathematics1 | 1996-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4289328 | 1994-05-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4040000 | 1993-06-05 | Paper |
Collected papers. Volume 1: 1921--1934. Volume 2: 1935--1944. Volume 3: 1945--1957. Volume 4: 1958--1979. Ed. by Steven R. Givant and Ralph N. McKenzie | 1986-01-01 | Paper |
Representable cylindric algebras | 1986-01-01 | Paper |
What are logical notions? | 1986-01-01 | Paper |
Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing | 1985-01-01 | Paper |
Cylindric algebras. Part II | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3678266 | 1983-01-01 | Paper |
Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3910512 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4121866 | 1977-01-01 | Paper |
An interpolation theorem for irredundant bases of closure structures | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5675691 | 1972-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5616133 | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5636833 | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5566502 | 1969-01-01 | Paper |
An extended arithmetic of ordinal numbers | 1969-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5579018 | 1968-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5609363 | 1968-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5557871 | 1966-01-01 | Paper |
A simplified formalization of predicate logic with identity | 1965-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5557870 | 1965-01-01 | Paper |
From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones) | 1965-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5551130 | 1964-01-01 | Paper |
Refinement properties for relational structures | 1964-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5596761 | 1962-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5613934 | 1962-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5732648 | 1961-01-01 | Paper |
On Two Properties of Free Algebras. | 1961-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5557872 | 1960-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5557883 | 1960-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5557885 | 1960-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5557889 | 1960-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5599139 | 1960-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5599141 | 1960-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5599142 | 1960-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3268764 | 1959-01-01 | Paper |
The sentential calculus with infinitely long expressions | 1958-01-01 | Paper |
Remarks on predicate logic with infinitely long expressions | 1958-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3268763 | 1958-01-01 | Paper |
Remarks on direct products of commutative semigroups | 1957-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3265664 | 1957-01-01 | Paper |
Higher Degrees of Distributivity and Completeness in Boolean Algebras | 1957-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3235345 | 1956-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3237139 | 1956-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3237556 | 1956-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3237557 | 1956-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3240239 | 1956-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5833217 | 1955-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5847167 | 1955-01-01 | Paper |
A lattice-theoretical fixpoint theorem and its applications | 1955-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5825819 | 1954-01-01 | Paper |
Undecidable theories | 1953-01-01 | Paper |
Boolean Algebras with Operators | 1952-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5815606 | 1952-01-01 | Paper |
On algebras whose factor algebras are Boolean | 1952-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5806801 | 1951-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5807665 | 1951-01-01 | Paper |
Boolean Algebras with Operators. Part I | 1951-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5810602 | 1951-01-01 | Paper |
Cancellation laws in the arithmetic of cardinals | 1949-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5802110 | 1949-01-01 | Paper |
A problem concerning the notion of definability | 1948-01-01 | Paper |
Axiomatic and algebraic aspects of two theorems on sums of cardinals | 1948-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5792485 | 1948-01-01 | Paper |
Measures in Boolean Algebras | 1948-01-01 | Paper |
Some theorems about the sentential calculi of Lewis and Heyting | 1948-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5802109 | 1947-01-01 | Paper |
On closed elements in closure algebras | 1946-01-01 | Paper |
A remark on functionally free algebras | 1946-01-01 | Paper |
Ideale in vollständigen Mengenkörpern. II | 1945-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5839923 | 1944-01-01 | Paper |
The algebra of topology | 1944-01-01 | Paper |
On families of mutually exclusive sets | 1943-01-01 | Paper |
An introduction to logic. | 1942-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5779170 | 1941-01-01 | Paper |
On the calculus of relations | 1941-01-01 | Paper |
Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition. | 1941-01-01 | Paper |
On the calculus of relations. | 1941-01-01 | Paper |
Boolesche Ringe mit geordneter Basis | 1939-01-01 | Paper |
Ideale in vollständigen Mengenkörpern. I | 1939-01-01 | Paper |
On well-ordered subsets of any set | 1939-01-01 | Paper |
On undecidable statements in enlarged systems of logic and the concept of truth | 1939-01-01 | Paper |
On undecidable statements in enlarged systems of logic and the concept of truth. | 1939-01-01 | Paper |
Boolesche Ringe mit geordneter Basis. | 1939-01-01 | Paper |
Ideale in vollständigen Mengenkörpern. I. | 1939-01-01 | Paper |
On well-ordered subsets of any set. | 1939-01-01 | Paper |
Über unerreichbare Kardinalzahlen | 1938-01-01 | Paper |
Drei Überdeckungssätze der allgemeinen Mengenlehre | 1938-01-01 | Paper |
Ein Überdeckungssatz für endliche Mengen | 1938-01-01 | Paper |
Über das absolute Maß linearer Punktmengen | 1938-01-01 | Paper |
Ein Beitrag zur Axiomatik der Abelschen Gruppen | 1938-01-01 | Paper |
The characteristic function of a sequence of sets and some of its applications | 1938-01-01 | Paper |
Eine äquivalente Formulierung des Auswahlaxioms | 1938-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5770687 | 1938-01-01 | Paper |
Der Aussagenkalkül und die Topologie | 1938-01-01 | Paper |
Über unerreichbare Kardinalzahlen. | 1938-01-01 | Paper |
Drei Überdeckungssätze der allgemeinen Mengenlehre. | 1938-01-01 | Paper |
Ein Überdeckungssatz für endliche Mengen nebst einigen Bemerkungen über die Definitionen der Endlichkeit. | 1938-01-01 | Paper |
Eine äquivalente Formulierung des Auswahlaxioms. | 1938-01-01 | Paper |
Ein Beitrag zur Axiomatik der Abelschen Gruppen. | 1938-01-01 | Paper |
Algebraische Fassung des Maßproblems. | 1938-01-01 | Paper |
Über das absolute Maß linearer Punktmengen. | 1938-01-01 | Paper |
Einige Bemerkungen zur Axiomatik der Booleschen Algebra. | 1938-01-01 | Paper |
Sentential calculus and topology. | 1938-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5769234 | 1937-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5770890 | 1937-01-01 | Paper |
Einführung in die mathematische Logik und in die Methodologie der Mathematik. | 1937-01-01 | Paper |
Über additive und multiplikative Mengenkörper und Mengenfunktionen. | 1937-01-01 | Paper |
Sur la méthode déductive. | 1937-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5763296 | 1936-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5763297 | 1936-01-01 | Paper |
Grundzüge des Systemenkalküls II | 1936-01-01 | Paper |
Sur les classes d'ensembles closes par rapport aux opérations de Hausdorff | 1936-01-01 | Paper |
The establishment of scientific semantics. | 1936-01-01 | Paper |
Grundlegung der wissenschaftlichen Semantik. | 1936-01-01 | Paper |
On the concept of logical consequence. | 1936-01-01 | Paper |
Foundations of the calculus of systems. II. | 1936-01-01 | Paper |
On extensions of incomplete systems of the sentential calculus | 1936-01-01 | Paper |
On the limitations of the means of expression of deductive theories. | 1936-01-01 | Paper |
Sur les classes d'ensembles closes par rapport aux opérations de Hausdorff. | 1936-01-01 | Paper |
On the concept of logical consequence. | 1936-01-01 | Paper |
The concept of truth in formalized languages | 1936-01-01 | Paper |
Zur Grundlegung der Boole'schen Algebra. I | 1935-01-01 | Paper |
Grundzüge der Systemenkalküls I | 1935-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5761282 | 1935-01-01 | Paper |
Some methodological investigations on the definability of concepts | 1935-01-01 | Paper |
Foundations of the calculus of systems. I. | 1935-01-01 | Paper |
Einige methodologische Untersuchungen über die Definierbarkeit der Begriffe. | 1935-01-01 | Paper |
On the foundations of Boolean algebra. I. | 1935-01-01 | Paper |
Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit | 1933-01-01 | Paper |
Sur les propriétés géométriques de la mesure de Banach. | 1933-01-01 | Paper |
La notion de la vérité dans les langages des sciences déductives. | 1933-01-01 | Paper |
Some observations on the concepts of \(\omega\)-consistency and \(\omega\)-completeness. | 1933-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4753029 | 1933-01-01 | Paper |
Der Wahrheitsbegriff in den Sprachen der deduktiven Disziplinen. | 1932-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4483504 | 1932-01-01 | Paper |
Sur les ensembles définissables de nombres réels. I. | 1931-01-01 | Paper |
Über definierbare Zahlenmengen. | 1931-01-01 | Paper |
Über definierbare Mengen reeller Zahlen. | 1931-01-01 | Paper |
Logical operations and projective sets | 1931-01-01 | Paper |
On some fundamental concepts of metamathematics | 1931-01-01 | Paper |
Untersuchungen über den Aussagenkalkül. | 1931-01-01 | Paper |
Neue Resultate und unentschiedene Probleme der Kardinalzahlarithmetik. | 1931-01-01 | Paper |
Les opérations logiques et les ensembles projectifs | 1931-01-01 | Paper |
Investigations into the sentential calculus | 1930-01-01 | Paper |
Fundamental concepts of the methodology of the deductive sciences. I. | 1930-01-01 | Paper |
Sur une propriété caractéristique des nombres inaccessibles. | 1930-01-01 | Paper |
Une contribution à la théorie de la mesure. | 1930-01-01 | Paper |
Sur les classes d'ensembles closes par rapport à certaines opérations élémentaires. | 1930-01-01 | Paper |
Über Äquivalenz der Mengen in bezug auf eine beliebige Klasse von Abbildungen. | 1930-01-01 | Paper |
Sur la décomposition des ensembles en sous-ensembles presque disjoints. | 1929-01-01 | Paper |
Sur les fonctions additives dans les classes abstraites et leur application au problème de la mesure. | 1929-01-01 | Paper |
Remarques sur les notions fondamentales de la méthodologie des mathématiques. | 1929-01-01 | Paper |
Sur les groups de Abel ordonnés. | 1929-01-01 | Paper |
Sur la décomposition des ensembles en sous-ensembles presque disjoints. | 1928-01-01 | Paper |
Sur quelques propriétés caractéristiques des images d'ensembles. | 1928-01-01 | Paper |
Quelques théorèmes généraux sur les images d'ensembles. | 1928-01-01 | Paper |
Communication sur les recherches de la théorie des ensembles. | 1926-01-01 | Paper |
Une remarque concernant les principes d'arithmétique théorique. | 1925-01-01 | Paper |
Quelques théorèmes sur les alephs. | 1925-01-01 | Paper |
Sur les principes de l'arithmétique des nombres ordinaux (transfinis). | 1925-01-01 | Paper |
Sur les truth-functions au sens de MM. Russell et Whitehead. | 1924-01-01 | Paper |
Sur quelques théorèmes qui équivalent à l'axiome du choix. | 1924-01-01 | Paper |
Sur les ensembles finis. | 1924-01-01 | Paper |
Sur la décomposition des ensembles de points en parties respectivement congruentes. | 1924-01-01 | Paper |
Sur le terme primitif de la logistique. | 1923-01-01 | Paper |
A contribution to the axiomatization of well ordered sets. | 1921-01-01 | Paper |