DictionaryForumContacts

   English
Terms for subject Logic containing calculus | all forms
EnglishRussian
fluent calculusфлюэнтное исчисление (Alex_Odeychuk)
many-sorted propositional calculusмногосортное пропозициональное исчисление (Alex_Odeychuk)
propositional calculusпропозициональное исчисление