| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3819038 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728875 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664767 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3684104 | 1983-01-01 | Paper |
| Calculi with monotone deductions and their economic interpretation | 1982-01-01 | Paper |
| Herbrand strategies and the greater deducibility relation | 1981-01-01 | Paper |
| Absorption relation on regular sets | 1980-01-01 | Paper |
| NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday) | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3859764 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3886914 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3866109 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888566 | 1979-01-01 | Paper |
| Mutation calculi | 1978-01-01 | Paper |
| Macroevolution as deduction process | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133601 | 1977-01-01 | Paper |
| Cut-type rules for calculi of general type | 1977-01-01 | Paper |
| Probabilistic canonical calculi | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128721 | 1976-01-01 | Paper |
| Deduction search in calculi of general type | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4079382 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4074395 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4137148 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111541 | 1973-01-01 | Paper |
| Extension of the inverse method to the predicate calculus with equality | 1973-01-01 | Paper |
| Decidable classes reducing to a one-quantifier class | 1972-01-01 | Paper |
| The inverse method and tactics for establishing deducibility for a calculus with functional symbols | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4766612 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5639373 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5639374 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5634868 | 1971-01-01 | Paper |
| Certain properties of E. L. Post’s apparatus of canonical calculi | 1971-01-01 | Paper |
| On E. L. Post’s “tag” problem | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5634867 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596257 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5597534 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5606604 | 1969-01-01 | Paper |
| The inverse method for establishing deducibility for logical calculi | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5560279 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5581594 | 1967-01-01 | Paper |
| Representation of recursively enumerable sets by local calculi | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551459 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5544288 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5588643 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5544286 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559243 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5553292 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5523671 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5567872 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586322 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586321 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5620584 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519135 | 1962-01-01 | Paper |
