Reznikoff Iégor

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

1. On independent recursive axiomatisation in intuitionistic logic
   
   Алгебра и логика. Семинар, 6:6 (1967),  21–27