| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 5295812 (Why is no real title available?)
| 2008-07-01 | Paper |
Undecidability without arithmetization
Studia Logica | 2005-06-14 | Paper |
Decidability without mathematics
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
scientific article; zbMATH DE number 1778913 (Why is no real title available?)
| 2002-10-27 | Paper |
scientific article; zbMATH DE number 1131219 (Why is no real title available?)
| 1998-03-22 | Paper |
Individualistic formal approach to deontic logic
Studia Logica | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3877141 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3580488 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3578850 (Why is no real title available?)
| 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
Synthese Library | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3484026 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3388987 (Why is no real title available?)
| 1972-01-01 | Paper |
An approach to logical calculus
Studia Logica | 1972-01-01 | Paper |
An unfinitizability proof by means of restricted reduced power
Fundamenta Mathematicae | 1971-01-01 | Paper |
Classical, relativistic and constructivistic ways of assertion of theorems
Studia Logica | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3480573 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3395835 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3355016 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3320382 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3311730 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3292843 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3280031 (Why is no real title available?)
| 1968-01-01 | Paper |
Some relational systems and the associated topological spaces
Fundamenta Mathematicae | 1967-01-01 | Paper |
Non-classical propositional calculi in relation to methodological patterns of scientific investigation
Studia Logica | 1967-01-01 | Paper |
scientific article; zbMATH DE number 3218733 (Why is no real title available?)
| 1965-01-01 | Paper |
scientific article; zbMATH DE number 3212008 (Why is no real title available?)
| 1964-01-01 | Paper |
Recursive objects in all finite types
Fundamenta Mathematicae | 1964-01-01 | Paper |
A note on the theory of propositional types
Fundamenta Mathematicae | 1964-01-01 | Paper |
scientific article; zbMATH DE number 3183048 (Why is no real title available?)
| 1962-01-01 | Paper |
On the concept of categoricity
Studia Logica | 1962-01-01 | Paper |
A kind of categoricity
Colloquium Mathematicum | 1962-01-01 | Paper |
scientific article; zbMATH DE number 3192951 (Why is no real title available?)
| 1962-01-01 | Paper |
scientific article; zbMATH DE number 3165537 (Why is no real title available?)
| 1961-01-01 | Paper |
scientific article; zbMATH DE number 3214528 (Why is no real title available?)
| 1961-01-01 | Paper |
scientific article; zbMATH DE number 3161202 (Why is no real title available?)
| 1961-01-01 | Paper |
scientific article; zbMATH DE number 3216987 (Why is no real title available?)
| 1961-01-01 | Paper |
Axiomatizability of geometry without points
Synthese | 1960-01-01 | Paper |
scientific article; zbMATH DE number 3143694 (Why is no real title available?)
| 1959-01-01 | Paper |
The classical and the ω-complete arithmetic
Journal of Symbolic Logic | 1959-01-01 | Paper |
On the definitions of computable real continuous functions
Fundamenta Mathematicae | 1957-01-01 | Paper |
scientific article; zbMATH DE number 3146059 (Why is no real title available?)
| 1957-01-01 | Paper |
Some proofs of undecidability of arithmetic
Fundamenta Mathematicae | 1956-01-01 | Paper |
Computable functionals
Fundamenta Mathematicae | 1955-01-01 | Paper |
scientific article; zbMATH DE number 3114378 (Why is no real title available?)
| 1955-01-01 | Paper |
On the definition of computable functionals
Fundamenta Mathematicae | 1955-01-01 | Paper |
Elementarily definable analysis
Fundamenta Mathematicae | 1955-01-01 | Paper |
scientific article; zbMATH DE number 3091851 (Why is no real title available?)
| 1954-01-01 | Paper |
scientific article; zbMATH DE number 3083488 (Why is no real title available?)
| 1953-01-01 | Paper |
scientific article; zbMATH DE number 3076375 (Why is no real title available?)
| 1952-01-01 | Paper |
The pragmatic foundations of semantics
Synthese | 1951-01-01 | Paper |
scientific article; zbMATH DE number 3048214 (Why is no real title available?)
| 1949-01-01 | Paper |
