|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1996 |
1. |
В. Н. Кривцов, “Логики творящего субъекта: консервативность относительно интуиционистского исчисления предикатов”, УМН, 51:1(307) (1996), 151–152 ; V. N. Krivtsov, “The logic of a creative subject: conservativism versus intuitionistic predicate calculus”, Russian Math. Surveys, 51:1 (1996), 146–147 |
|
1994 |
2. |
В. Н. Кривцов, “О семантической полноте логик творящего субъекта”, УМН, 49:6(300) (1994), 205–206 ; V. N. Krivtsov, “On the semantic completeness of the logics of the creating subject”, Russian Math. Surveys, 49:6 (1994), 205–206 |
1
|
|
1986 |
3. |
В. Н. Кривцов, “Погружение интуиционистской теории типов в безотрицательную теорию типов”, Матем. заметки, 39:1 (1986), 121–135 ; V. N. Krivtsov, “Embedding intuitionistic-type theory in negationless-type theory”, Math. Notes, 39:1 (1986), 66–74 |
|
1984 |
4. |
В. Н. Кривцов, “Погружение интуиционистской теории типов в безотрицательную интуиционистскую теорию типов”, Докл. АН СССР, 277:3 (1984), 529–533 |
5. |
В. Н. Кривцов, “О дедуктивных возможностях безотрицательного интуиционистского анализа”, Докл. АН СССР, 274:4 (1984), 786–790 |
6. |
В. Н. Кривцов, “Формальная система безотрицательной арифметики, консервативная относительно арифметики Гейтинга”, Матем. заметки, 36:4 (1984), 583–592 ; V. N. Krivtsov, “A formal system of negationless arithmetic that is conservative with respect to heyting arithmetic”, Math. Notes, 36:4 (1984), 788–794 |
7. |
В. Н. Кривцов, “О дедуктивных возможностях безотрицательного исчисления предикатов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 4, 3–5 |
8. |
В. Н. Кривцов, “О некотором типе формальных безотрицательных систем”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 2, 27–31 |
|