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

МАТЕМАТИКА

О связи между выводимостью в интуиционистском исчислении высказываний и конечными импликативными структурами

В. А. Янков

Московский государственный университет имени М.В. Ломоносова

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

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

• 
•