К вопросу об отделимости нормализуемых суперинтуиционистских пропозициональных логик

Валентин Иванович Хомич, Valentin Ivanovich Khomich
1998 Математические заметки  
doi:10.4213/mzm1436 fatcat:a2q4yz22uvecljzm4t3udwqdhe