| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3509164 | 2008-07-01 | Paper |
| Undecidability without arithmetization | 2005-06-14 | Paper |
| Decidability without mathematics | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4544196 | 2002-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4382640 | 1998-03-22 | Paper |
| Individualistic formal approach to deontic logic | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3344169 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4149436 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4149738 | 1977-01-01 | Paper |
| An outline of mathematical logic. Fundamental results and notions explained with all details. Translated from the original Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4067079 | 1974-01-01 | Paper |
| An approach to logical calculus | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5658069 | 1972-01-01 | Paper |
| Classical, relativistic and constructivistic ways of assertion of theorems | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063132 | 1971-01-01 | Paper |
| An unfinitizability proof by means of restricted reduced power | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5663821 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5600872 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5629622 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5592221 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5565082 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5575537 | 1968-01-01 | Paper |
| Non-classical propositional calculi in relation to methodological patterns of scientific investigation | 1967-01-01 | Paper |
| Some relational systems and the associated topological spaces | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5507499 | 1965-01-01 | Paper |
| A note on the theory of propositional types | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5339292 | 1964-01-01 | Paper |
| Recursive objects in all finite types | 1964-01-01 | Paper |
| On the concept of categoricity | 1962-01-01 | Paper |
| A kind of categoricity | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3849885 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5729298 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3279286 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3283893 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5341746 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5344155 | 1961-01-01 | Paper |
| Axiomatizability of geometry without points | 1960-01-01 | Paper |
| The classical and the ω-complete arithmetic | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3260573 | 1959-01-01 | Paper |
| On the definitions of computable real continuous functions | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3264232 | 1957-01-01 | Paper |
| Some proofs of undecidability of arithmetic | 1956-01-01 | Paper |
| Computable functionals | 1955-01-01 | Paper |
| On the definition of computable functionals | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3228594 | 1955-01-01 | Paper |
| Elementarily definable analysis | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5830647 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5824357 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5815331 | 1952-01-01 | Paper |
| The pragmatic foundations of semantics | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5787450 | 1949-01-01 | Paper |
