| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 1416393 (Why is no real title available?) | 2000-07-24 | Paper |
| scientific article; zbMATH DE number 966893 (Why is no real title available?) | 1997-01-15 | Paper |
| scientific article; zbMATH DE number 910444 (Why is no real title available?) | 1996-11-04 | Paper |
| scientific article; zbMATH DE number 4177028 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4158594 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4008369 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3918332 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3887653 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3908493 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3875241 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3875277 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3677793 (Why is no real title available?) | 1980-01-01 | Paper |
On two problems of Harvey Friedman
Studia Logica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3657810 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3557746 (Why is no real title available?) | 1976-01-01 | Paper |
Structural completeness of the first‐order predicate calculus
Mathematical Logic Quarterly | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3523511 (Why is no real title available?) | 1975-01-01 | Paper |
Interpretations of classical implicational sentential calculus in nonclassical implicational calculi
Studia Logica | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3448535 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3470386 (Why is no real title available?) | 1974-01-01 | Paper |
Proof of structural completeness of a certain class of implicative propositional calculi
Studia Logica | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3443616 (Why is no real title available?) | 1973-01-01 | Paper |
On the structural completeness of some pure implicational propositional calculi
Studia Logica | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3363517 (Why is no real title available?) | 1972-01-01 | Paper |
A definability criterion for the functions in Lukasiewicz's matrices
Studia Logica | 1968-01-01 | Paper |
Some remarks on three-valued logic of J. Lukasiewicz
Studia Logica | 1967-01-01 | Paper |
A proof of axiomatizability of Lukasiewicz's three-valued implicational propositional calculus
Studia Logica | 1967-01-01 | Paper |
A proof of completeness of the three-valued C-N sentential calculus of Lukasiewicz
Studia Logica | 1966-01-01 | Paper |
