| 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 |
| Letters to Kurt Gödel, 1942-47 (edited by Jan Tarski) | 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 |
| Representable cylindric algebras | 1986-01-01 | Paper |
| What are logical notions? | 1986-01-01 | 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 |
| Cylindric algebras. Part II | 1985-01-01 | Paper |
| Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing | 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 |
| An extended arithmetic of ordinal numbers | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5566502 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609363 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579018 | 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 |
| 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/Q5557870 | 1965-01-01 | Paper |
| Refinement properties for relational structures | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551130 | 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/Q5557885 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599139 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557883 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557872 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557889 | 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 |
| Remarks on predicate logic with infinitely long expressions | 1958-01-01 | Paper |
| The sentential calculus with infinitely long expressions | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3268763 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3265664 | 1957-01-01 | Paper |
| Remarks on direct products of commutative semigroups | 1957-01-01 | Paper |
| Higher Degrees of Distributivity and Completeness in Boolean Algebras | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3240239 | 1956-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/Q3237557 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3237556 | 1956-01-01 | Paper |
| A lattice-theoretical fixpoint theorem and its applications | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5833217 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5847167 | 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/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 |
| https://portal.mardi4nfdi.de/entity/Q5806801 | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5802110 | 1949-01-01 | Paper |
| Cancellation laws in the arithmetic of cardinals | 1949-01-01 | Paper |
| Some theorems about the sentential calculi of Lewis and Heyting | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5792485 | 1948-01-01 | Paper |
| Measures in Boolean Algebras | 1948-01-01 | Paper |
| Axiomatic and algebraic aspects of two theorems on sums of cardinals | 1948-01-01 | Paper |
| A problem concerning the notion of definability | 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 |
| On the calculus of relations | 1941-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5779170 | 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 |
| On undecidable statements in enlarged systems of logic and the concept of truth | 1939-01-01 | Paper |
| On well-ordered subsets of any set | 1939-01-01 | Paper |
| Boolesche Ringe mit geordneter Basis | 1939-01-01 | Paper |
| On undecidable statements in enlarged systems of logic and the concept of truth. | 1939-01-01 | Paper |
| Ideale in vollständigen Mengenkörpern. I | 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 |
| Der Aussagenkalkül und die Topologie | 1938-01-01 | Paper |
| Ein Beitrag zur Axiomatik der Abelschen Gruppen | 1938-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5770687 | 1938-01-01 | Paper |
| Über unerreichbare Kardinalzahlen | 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 |
| Ü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 |
| Über das absolute Maß linearer Punktmengen | 1938-01-01 | Paper |
| Drei Überdeckungssätze der allgemeinen Mengenlehre | 1938-01-01 | Paper |
| Ein Überdeckungssatz für endliche Mengen | 1938-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5769234 | 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/Q5770890 | 1937-01-01 | Paper |
| Grundzüge des Systemenkalküls II | 1936-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5763296 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5763297 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5761282 | 1935-01-01 | Paper |
| Zur Grundlegung der Boole'schen Algebra. I | 1935-01-01 | Paper |
| Grundzüge der Systemenkalküls I | 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 |
| La notion de la vérité dans les langages des sciences déductives. | 1933-01-01 | Paper |
| Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit | 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 |
| Sur les propriétés géométriques de la mesure de Banach. | 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 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. | 1929-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 |
| Sur la décomposition des ensembles en sous-ensembles presque disjoints. | 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 |
