| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 5993872 (Why is no real title available?)
| 2012-01-01 | Paper |
On two attempts of describing propositional realizability logic
Journal Of Logic And Computation | 2011-10-21 | Paper |
scientific article; zbMATH DE number 5935712 (Why is no real title available?)
| 2011-08-03 | Paper |
A Survey of Propositional Realizability Logic
The Bulletin of Symbolic Logic | 2009-03-25 | Paper |
scientific article; zbMATH DE number 5174279 (Why is no real title available?)
| 2007-07-24 | Paper |
On Primitive Recursive Realizabilities
Computer Science – Theory and Applications | 2007-05-02 | Paper |
Predicate logics of constructive mathematical theories
| 2006-06-14 | Paper |
scientific article; zbMATH DE number 2099534 (Why is no real title available?)
| 2004-09-08 | Paper |
Arithmetic complexity of the predicate logics of certain complete arithmetic theories
Annals of Pure and Applied Logic | 2002-09-05 | Paper |
scientific article; zbMATH DE number 1567841 (Why is no real title available?)
| 2001-02-21 | Paper |
scientific article; zbMATH DE number 1285754 (Why is no real title available?)
| 1999-05-10 | Paper |
Modified realizability and predicate logic
Mathematical Notes | 1999-01-11 | Paper |
scientific article; zbMATH DE number 1099367 (Why is no real title available?)
| 1998-01-28 | Paper |
On logics having diagnostic formulas relative to minimal calculus
Moscow University Mathematics Bulletin | 1996-03-27 | Paper |
scientific article; zbMATH DE number 641289 (Why is no real title available?)
| 1994-09-21 | Paper |
On arithmetic complexity of certain constructive logics
Mathematical Notes | 1993-04-01 | Paper |
On the concept of relatively uniform realizability of propositional formulas
Moscow University Mathematics Bulletin | 1993-03-11 | Paper |
Diagnostic propositional formulas
Moscow University Mathematics Bulletin | 1992-06-26 | Paper |
On correlation of some concepts in the constructive model theory
Moscow University Mathematics Bulletin | 1992-06-26 | Paper |
On arithmetic complexity of some constructive logics
| 1992-01-01 | Paper |
scientific article; zbMATH DE number 4216525 (Why is no real title available?)
| 1991-01-01 | Paper |
Correlation of some notions of constructive model theory
| 1991-01-01 | Paper |
Constructive formalization of the Tennenbaum theorem and its applications
Mathematical Notes | 1990-01-01 | Paper |
The Kolmogorov calculus as a part of minimal calculus
Russian Mathematical Surveys | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4091441 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4081553 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4004179 (Why is no real title available?)
| 1986-01-01 | Paper |
ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
Mathematics of the USSR-Izvestiya | 1984-01-01 | Paper |
SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
Mathematics of the USSR-Izvestiya | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3596833 (Why is no real title available?)
| 1978-01-01 | Paper |
THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS
Mathematics of the USSR-Izvestiya | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3580512 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3557757 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3468789 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3467050 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3461901 (Why is no real title available?)
| 1973-01-01 | Paper |
