Резултати от търсенето

...чная книга по математической логике. Теория доказательств и конструктивная математика'', Москва, «Наука», 1983</ref><ref>Schütte K., ''Proof Theory'', Springer, | Дали всички непрекъснати [[група (математика)|групи]] автоматично [[Групи на Ли]]? ...