Return to Article Details Интерполяционная теорема для исчислений частичных предикатов Хао Вана. Download Download PDF