Джапаридзе Георгий К

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

1. Об эффективных предикатных логиках доказуемости
   
   Докл. АН СССР, 297:3 (1987),  521–523