Бугатасс С

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

1. New models of bounded induction axioms
   
   Зап. научн. сем. ПОМИ, 304 (2003),  13–18