| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3708979 | 1984-01-01 | Paper |
| Foundational studies. Selected works. Vol. I, II | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3910512 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156427 | 1977-01-01 | Paper |
| Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105669 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105670 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065546 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4106197 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071746 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4094864 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183485 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4404879 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5686041 | 1973-01-01 | Paper |
| Models of second order arithmetic with definable Skolem functions | 1972-01-01 | Paper |
| A transfinite sequence of ω-models | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5602916 | 1970-01-01 | Paper |
| Constructible sets with applications | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5635444 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5549798 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5573359 | 1968-01-01 | Paper |
| On some new metamathematical results concerning set theory | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5573990 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583840 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5514605 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5523665 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519147 | 1965-01-01 | Paper |
| Widerspruchsfreiheit und Unabhängigkeit der Kontinuumhypothese | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3844474 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5722266 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5731773 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3291526 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3843605 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5540438 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5554950 | 1962-01-01 | Paper |
| Addition au travail `A proof of Herbrand theorem' | 1961-01-01 | Paper |
| A generalization of the incompleteness theorem | 1961-01-01 | Paper |
| Axiomatizability of some many valued predicate calculi | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3279286 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3291525 | 1961-01-01 | Paper |
| An Example of a Non‐Axiomatizable Many Valued Logic | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5731780 | 1961-01-01 | Paper |
| The classical and the ω-complete arithmetic | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3261421 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3281062 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5507506 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3244111 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3250609 | 1958-01-01 | Paper |
| On a problem of W. Kinna and K. Wagner | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3289852 | 1958-01-01 | Paper |
| L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique | 1957-01-01 | Paper |
| On computable sequences | 1957-01-01 | Paper |
| On a generalization of quantifiers | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3248968 | 1957-01-01 | Paper |
| Die Mathematische Logik auf dem Internationalen Mathematikerkongress in Amsterdam | 1956-01-01 | Paper |
| A proof of Herbrand's theorem | 1956-01-01 | Paper |
| Models of axiomatic theories admitting automorphisms | 1956-01-01 | Paper |
| Concerning a problem of H. Scholz | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3240240 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3240855 | 1956-01-01 | Paper |
| Examples of sets definable by means of two and three quantifiers | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3226843 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3228594 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3228595 | 1955-01-01 | Paper |
| A formula with no recursively enumerable model | 1955-01-01 | Paper |
| Contributions to the theory of definable sets and functions | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3229456 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5829804 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5830647 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5832043 | 1954-01-01 | Paper |
| A geometric interpretation of logical formulae | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5821427 | 1953-01-01 | Paper |
| Models of axiomatic systems | 1953-01-01 | Paper |
| On a system of axioms which has no recursively enumerable arithmetic model | 1953-01-01 | Paper |
| Undecidable theories | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5818477 | 1953-01-01 | Paper |
| Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel | 1952-01-01 | Paper |
| On direct products of theories | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5812332 | 1952-01-01 | Paper |
| On the rules of proof in the pure functional calculus of the first order | 1951-01-01 | Paper |
| Groups connected with Boolean algebras. (Partial solution of the problem P92) | 1951-01-01 | Paper |
| Sur un problème de la théorie des groupes et son rapport à la topologie | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5810538 | 1951-01-01 | Paper |
| Some impredicative definitions in the axiomatic set theory | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5787741 | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5797023 | 1949-01-01 | Paper |
| An undecidable arithmetical statement | 1949-01-01 | Paper |
| Proofs of non-deducibility in intuitionistic functional calculus | 1948-01-01 | Paper |
| On the principle of dependent choices | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5788184 | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5791638 | 1948-01-01 | Paper |
| Un théorème sur les nombres cos 2πk/n | 1948-01-01 | Paper |
| On absolute properties of relations | 1947-01-01 | Paper |
| On definable sets of positive integers | 1947-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5844877 | 1946-01-01 | Paper |
| Remarques sur la Note de M. Sierpiński „Un théorème sur les familles d'ensembles et ses applications" | 1945-01-01 | Paper |
| Axiom of choice for finite sets | 1945-01-01 | Paper |
| Bemerkungen zum Begriff der inhaltlichen Widerspruchsfreiheit. | 1939-01-01 | Paper |
| Boolesche Ringe mit geordneter Basis. | 1939-01-01 | Paper |
| Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip. | 1939-01-01 | Paper |
| Boolesche Ringe mit geordneter Basis | 1939-01-01 | Paper |
| Bemerkungen zum Begriff der inhaltlichen Widerspruchsfreiheit | 1939-01-01 | Paper |
| Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip | 1939-01-01 | Paper |
| Über die Unabhängigkeit des Auswahlaxioms und einiger seiner Folgerungen. | 1938-01-01 | Paper |
| Über den Begriff einer endlichen Menge. | 1938-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5770888 | 1938-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5770889 | 1938-01-01 | Paper |
| Abzählbare Boolesche Körper und ihre Anwendung auf die allgemeine Metamathematik. | 1937-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5766349 | 1937-01-01 | Paper |
