| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4186271 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198791 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111003 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4149761 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4149760 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053649 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5670625 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672897 | 1972-01-01 | Paper |
| Some methods of formal proofs. III | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5646897 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654806 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654807 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5661880 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5646896 | 1970-01-01 | Paper |
| Some examples of different methods of formal proofs with generalizations of the satisfiability definition | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5566507 | 1969-01-01 | Paper |
| A note on theses of the first-order functional calculus | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5549138 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5552749 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5561957 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583055 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5617337 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5538904 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583059 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5518336 | 1966-01-01 | Paper |
| On the connection of the first-order functional calculus with propositional calculus | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599824 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5731197 | 1964-01-01 | Paper |
| A note about connection of the first-order functional calculus with many valued propositional calculi | 1964-01-01 | Paper |
| Some characterizations of the first-order functional calculus | 1963-01-01 | Paper |
| About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi | 1963-01-01 | Paper |
| On the connection of the first-order functional calculus with many valued propositional calculi | 1962-01-01 | Paper |
| On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5528193 | 1962-01-01 | Paper |
| A note to my paper: On characterizations of the first-order functional calculus | 1961-01-01 | Paper |
| On characterizations of the first-order functions calculus | 1961-01-01 | Paper |
| On Theses of the First‐Order Functional Calculus | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5724774 | 1959-01-01 | Paper |
| On the first-order functional calculus and the truncation of models | 1958-01-01 | Paper |
| Completeness of the functional calculus of first order | 1955-01-01 | Paper |
| Über den auf Alternative und Negation aufgebauten Aussagenkalkül | 1954-01-01 | Paper |
