Циткин Александр Ильич

Публикации в базе данных Math-Net.Ru

1. Конечная аксиоматизируемость локально-табличных суперинтуиционистских логик
   
   Матем. заметки, 40:3 (1986),  407–413
2. О структурально полных суперинтуиционистских логиках
   
   Докл. АН СССР, 241:1 (1978),  40–43
3. О допустимых правилах интуиционистской логики высказываний
   
   Матем. сб., 102(144):2 (1977),  314–323
4. Простые тесторы
   
   Докл. АН СССР, 201:4 (1971),  801–802