in logic: a set of axioms and all statements derivable from the Inglise - Vene




English translator: English Russian in logic: a set of axioms and all statements derivable from the  Eesti sõnaraamat   Español Traductor   Svenska Översättare