ЛУННЫЕ ЭКСПЕДИЦИИ США С ТОЧКИ ЗРЕНИЯ ФОРМАЛЬНОЙ НАУКИ