| Publication | Date of Publication | Type |
|---|
| A version of formalization of Cantor's set theory. | 2004-06-15 | Paper |
| Solution of the Hilbert central problem following Kolmogorov. | 2004-06-15 | Paper |
| Kolmogorov reduction and consistency | 2001-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4869973 | 1996-03-17 | Paper |
| Paraconsistent intelligent systems of computer logics | 1992-09-27 | Paper |
| A conservative extension of a formal arithmetic | 1988-01-01 | Paper |
| Set theory in type-free combinatorially complete systems | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343960 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343961 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343962 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343963 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657970 | 1983-01-01 | Paper |
| [Russian Text Ignored] | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674618 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4742766 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4744244 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3958433 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898467 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898466 | 1979-01-01 | Paper |
| [Russian Text Ignored.] | 1979-01-01 | Paper |
| Formal arithmetic in combinatorily complete systems. I | 1978-01-01 | Paper |
| Formal arithmetic in combinatorily complete systems. II | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875894 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875895 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4177539 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4177540 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4177541 | 1978-01-01 | Paper |
| Cut theorem for \(\mathfrak R\)-theories in combinatorially complete systems | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4137144 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4177537 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4177538 | 1977-01-01 | Paper |
| Substitution operation in systems with unrestricted principle of combinatorial completeness | 1976-01-01 | Paper |
| Combinatorially complete systems with operators \(\Xi,F,Q,\Pi,\exists,\neg, \&,lor,\equiv\) | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4115134 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133600 | 1976-01-01 | Paper |
| Deductive operators of combinatory logic | 1974-01-01 | Paper |
| On the expressive potentialities of deductive systems of \(\lambda\)- conversion and combinatory logic | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4052079 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4074846 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083400 | 1974-01-01 | Paper |
| Implicative systems of combinatory logic with a universal quantifier | 1973-01-01 | Paper |
| The functionality operator in implicative systems of combinatory logic | 1973-01-01 | Paper |
| Consistent extensions of pure combinatory logic | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214894 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4047532 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4777263 | 1973-01-01 | Paper |
| Implicative systems of combinatory logic | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5636856 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5645399 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4047531 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5623662 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631069 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642541 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5604470 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5620576 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5605652 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583611 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5540895 | 1965-01-01 | Paper |
