СловникиФорумКонтакти

   Англійська Російська +
Google | Forvo | +

predicate calculus and proving theorems

наголоси
прогр. исчисление предикатов и доказательство теорем (ssn)