| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 4063728 (Why is no real title available?) | 1987-01-01 | Paper |
Relativized Cylindrification
Mathematical Logic Quarterly | 1982-01-01 | Paper |
Recursive and recursively enumerable manifolds. I
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
Recursive and recursively enumerable manifolds. II
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3478854 (Why is no real title available?) | 1976-01-01 | Paper |
Almost Recursivity and Partial Degrees
Mathematical Logic Quarterly | 1974-01-01 | Paper |
Local recursive theory
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
Combinatorial operators and their quasi-inverses
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals
Mathematical Logic Quarterly | 1970-01-01 | Paper |
Recursive models for three-valued propositional calculi with classical implication
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
A recursive model for the extended system A of B. Sobocinski
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
Mathematics of Incompleteness and Undecidability
Mathematical Logic Quarterly | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3304991 (Why is no real title available?) | 1965-01-01 | Paper |
The summability of Fourier series by Karamata methods
Mathematische Zeitschrift | 1965-01-01 | Paper |
Note on a theorem of W. Sierpiński
Notre Dame Journal of Formal Logic | 1965-01-01 | Paper |
On a class of regular sets
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3190342 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3316960 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3192070 (Why is no real title available?) | 1962-01-01 | Paper |
Turing Algorithms
Mathematical Logic Quarterly | 1961-01-01 | Paper |
Funktionen‐Algorithmen
Mathematical Logic Quarterly | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3157166 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3231398 (Why is no real title available?) | 1960-01-01 | Paper |
The mutual inclusion of Karamata-Stirling methods of summation
Michigan Mathematical Journal | 1959-01-01 | Paper |
Partially Ordered Recursive Arithmetics.
MATHEMATICA SCANDINAVICA | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3140643 (Why is no real title available?) | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3121770 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3121771 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3121772 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3124907 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3088403 (Why is no real title available?) | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3085974 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3085975 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3086175 (Why is no real title available?) | 1953-01-01 | Paper |
