| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 3623500 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3637913 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3534491 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3578876 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3578875 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3468830 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3404235 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3405931 (Why is no real title available?) | 1972-01-01 | Paper |
Some methods of formal proofs. III
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3375488 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3385030 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3385031 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3392445 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3375487 (Why is no real title available?) | 1970-01-01 | Paper |
Some examples of different methods of formal proofs with generalizations of the satisfiability definition
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3281710 (Why is no real title available?) | 1969-01-01 | Paper |
A note on theses of the first-order functional calculus
Notre Dame Journal of Formal Logic | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3263357 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3267342 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3277487 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3301412 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3340807 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3252188 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3301417 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3230222 (Why is no real title available?) | 1966-01-01 | Paper |
On the connection of the first-order functional calculus with propositional calculus
Notre Dame Journal of Formal Logic | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3321271 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3194838 (Why is no real title available?) | 1964-01-01 | Paper |
A note about connection of the first-order functional calculus with many valued propositional calculi
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
Some characterizations of the first-order functional calculus
Mathematische Annalen | 1963-01-01 | Paper |
About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi
Mathematical Logic Quarterly | 1963-01-01 | Paper |
On the connection of the first-order functional calculus with many valued propositional calculi
Notre Dame Journal of Formal Logic | 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
Mathematical Logic Quarterly | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3240795 (Why is no real title available?) | 1962-01-01 | Paper |
A note to my paper: On characterizations of the first-order functional calculus
Notre Dame Journal of Formal Logic | 1961-01-01 | Paper |
On characterizations of the first-order functions calculus
Notre Dame Journal of Formal Logic | 1961-01-01 | Paper |
On Theses of the First‐Order Functional Calculus
Mathematical Logic Quarterly | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3188497 (Why is no real title available?) | 1959-01-01 | Paper |
On the first-order functional calculus and the truncation of models
Studia Logica | 1958-01-01 | Paper |
Completeness of the functional calculus of first order
Studia Logica | 1955-01-01 | Paper |
Über den auf Alternative und Negation aufgebauten Aussagenkalkül
Studia Logica | 1954-01-01 | Paper |
