Name Барвайс Дж. (ред.) - Справочная книга по математической логике. Части I-IV 1982
File Type other
Size 17.64MB
UpdateDate 2024-11-6
hash *****77EAAAA45334FEB0C326CA3C2381180AE4
Hot 14
Files Ч. 1. Теория моделей.djvu | 4.94MB Ч. 2. Теория множеств.djvu | 4.40MB Ч. 3. Теория рекурсии.djvu | 4.18MB Ч. 4. Теория доказательств и конструктивная математика.djvu | 4.12MB