|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1985 |
| 1. |
А. В. Кузнецов, “О доказуемостно-интуиционистском пропозициональном исчислении”, Докл. АН СССР, 283:1 (1985), 27–30    |
3
|
|
1979 |
| 2. |
А. В. Кузнецов, М. Ф. Раца, “Критерий функциональной полноты в классической логике предикатов первого порядка”, Докл. АН СССР, 249:3 (1979), 540–544 |
1
|
|
1970 |
| 3. |
В. Я. Герчиу, А. В. Кузнецов, “О конечно аксиоматизируемых суперинтуиционистских логиках”, Докл. АН СССР, 195:6 (1970), 1263–1266 |
1
|
| 4. |
А. В. Кузнецов, В. Я. Герчиу, “О суперинтуиционистских логиках и финитной аппроксимируемости”, Докл. АН СССР, 195:5 (1970), 1029–1032 |
6
|
|
1965 |
| 5. |
А. В. Кузнецов, “Аналоги “штриха Шеффера” в конструктивной логике”, Докл. АН СССР, 160:2 (1965), 274–277 |
5
|
|
1963 |
| 6. |
А. В. Кузнецов, “О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний”, Алгебра и логика. Семинар, 2:4 (1963), 47–66 |
3
|
|
1958 |
| 7. |
А. В. Кузнецов, “О бесповторных контактных схемах и бесповторных суперпозициях функций алгебры логики”, Тр. МИАН СССР, 51 (1958), 186–225 |
13
|
| 8. |
А. В. Кузнецов, “Об одном свойстве функций, реализуемых неплоскими бесповторными схемами”, Тр. МИАН СССР, 51 (1958), 174–185 |
|
|
|
1971 |
| 9. |
В. Я. Герчиу, А. В. Кузнецов, “Поправки к статье “О конечно аксиоматизируемых суперинтуиционистских логиках” (ДАН, т. 195, № 6, 1970 г.)”, Докл. АН СССР, 199:6 (1971), 742 |
| 10. |
А. В. Кузнецов, В. Я. Герчиу, “Поправки к статье “О суперинтуиционистских логиках и финитной аппроксимируемости” (ДАН, т. 195, № 5, 1970 г.)”, Докл. АН СССР, 199:6 (1971), 742 |
|
Обратная связь: