Эта публикация цитируется в 3 статьях

МАТЕМАТИКА

О доказуемостно-интуиционистском пропозициональном исчислении

А. В. Кузнецов

Институт математики с ВЦ АН Молдавской ССР, г. Кишинев

УДК: 517.11:(51.01+519.48)

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 16.04.1984

Реферативные базы данных:

• 
•