Англо-русский перевод INTUITIONISTIC CALCULUS

INTUITIONISTIC CALCULUS

матем. интуиционистское исчисление

English-Russian scientific and technological dictionary .      Англо-Русский научно-технический словарь.