| Publication | Date of Publication | Type |
|---|
| Constructive proof theory and nonstandard analysis. Edited by G. E. Mints | 2007-01-24 | Paper |
| On a self-dual notation in automated reasoning | 2002-02-13 | Paper |
| Explicit algebraic models for constructive and classical theories with non-standard elements | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4386982 | 1998-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371039 | 1998-04-15 | Paper |
| Completeness and cut-elimination theorems for high-order classical logic. Constructive method | 1996-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4293477 | 1995-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4039813 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733440 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809303 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775557 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3481700 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3475264 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3762290 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3792682 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3741624 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3718677 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3718676 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3937386 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3315509 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880841 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3855174 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3863884 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3936731 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941403 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053587 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4060949 | 1974-01-01 | Paper |
| ANDREI ANDREEVICH MARKOV (on his seventieth birthday) | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4101792 | 1974-01-01 | Paper |
| On the use of classical calculi for establishing constructive truth | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183472 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5646884 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656770 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5605219 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611767 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5566519 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5566520 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5598344 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5604467 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5585412 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5602106 | 1967-01-01 | Paper |
