| Publication | Date of Publication | Type |
|---|
| Steps toward a philosophy for mathematicians | 2023-07-12 | Paper |
| Structures and algorithms. Mathematics and the nature of knowledge | 2018-04-04 | Paper |
| General Recursion Theory | 2017-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3583015 | 2010-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3567133 | 2010-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416811 | 2007-01-23 | Paper |
| Tarski, truth and natural languages | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793031 | 2003-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4360858 | 1997-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3139590 | 1993-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002721 | 1992-09-18 | Paper |
| Situations, language and logic | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732448 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3779521 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807182 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3819009 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742397 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3755438 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880831 | 1980-01-01 | Paper |
| Nonstandard methods in stochastic analysis and mathematical physics | 1980-01-01 | Paper |
| Singular Perturbations and Nonstandard Analysis | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4186280 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3869351 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206939 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4093427 | 1975-01-01 | Paper |
| On absolutely measurable sets | 1974-01-01 | Paper |
| Remarks on Logic and Probability | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4770390 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626663 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5680117 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5585397 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5577041 | 1969-01-01 | Paper |
| On the completeness of some transfinite recursive progressions of axiomatic theories | 1968-01-01 | Paper |
| The structure of logical probabilities | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5607972 | 1967-01-01 | Paper |
| Good strategies in general games | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5602082 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5536235 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537363 | 1965-01-01 | Paper |
| On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic. | 1964-01-01 | Paper |
| On \(l\)-groups of uniformly continuous functions. II: Representation theory. III: Proximity spaces | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5536239 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5330639 | 1964-01-01 | Paper |
| On l-groups of uniformly continuous functions. I: Approximation theory | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5510969 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5728432 | 1963-01-01 | Paper |
| Notes on synonymy | 1962-01-01 | Paper |
| A Note on Completion and Compactification. | 1960-01-01 | Paper |
| On the Equivalence Between Proximity Structures and Totally Bounded Uniform Structures. | 1960-01-01 | Paper |
