| 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
Publicationes Mathematicae Debrecen | 2002-02-13 | Paper |
Explicit algebraic models for constructive and classical theories with non-standard elements
Studia Logica | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1149459 (Why is no real title available?) | 1998-05-06 | Paper |
| scientific article; zbMATH DE number 1101617 (Why is no real title available?) | 1998-04-15 | Paper |
Completeness and cut-elimination theorems for high-order classical logic. Constructive method
Russian Mathematics | 1996-01-03 | Paper |
| scientific article; zbMATH DE number 575914 (Why is no real title available?) | 1995-01-03 | Paper |
| scientific article; zbMATH DE number 192927 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 4119665 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4078849 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4035828 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4152375 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4143971 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4012578 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4057508 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3974958 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3948222 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3948221 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3754681 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3845578 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3685485 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3655931 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3664944 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3752837 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3758326 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3468753 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3477142 (Why is no real title available?) | 1974-01-01 | Paper |
ANDREI ANDREEVICH MARKOV (on his seventieth birthday)
Russian Mathematical Surveys | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3523515 (Why is no real title available?) | 1974-01-01 | Paper |
On the use of classical calculi for establishing constructive truth
Moscow University Mathematics Bulletin | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3432225 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3375476 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3387350 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3326471 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3334160 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3281722 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3281723 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3318642 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3325574 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3304057 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3323850 (Why is no real title available?) | 1967-01-01 | Paper |
