Результаты поиска

...разделов математики, обеспечивающего автоматическую проверку доказательств на компьютере{{Переход|#Основания математики}}. ...]. Раннее детство провёл в [[Коммунальная квартира|коммунальной квартире]] на [[Славянская площадь|площади Ногина]], впоследствии семья переселилась в от ...