130

Марков А.А. О логике конструктивной математики. М., 1972.

Получи 2 месяца Литрес Подписки в подарок и наслаждайся неограниченным чтением