О суперинтуиционистских логиках как фрагментах расширений логики доказуемости
А.В. Кузнецов; А.Ю. Муравицкий
Matematiceskie issledovanija (1987)
- Volume: 98, page 15-39
- ISSN: 0542-9994
А.В. Кузнецов; А.Ю. Муравицкий
Matematiceskie issledovanija (1987)