МАТЕМАТИКА

Об интуиционистской выводимости некоторых реализуемых формул логики высказываний

Ф. А. Кабаков

Математический институт им. В. А. Стеклова АН СССР

УДК: 51.01:164

Статья представлена к публикации: П. С. Новиков
Поступило: 27.10.1969

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

• 
•