RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика. Семинар, 1967, том 6, номер 6, страницы 21–27 (Mi al1133)
On independent recursive axiomatisation in intuitionistic logic

I. Reznikoff

Paris

Поступило: 12.09.1967

Язык публикации: английский



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

© МИАН, 2025