DictionaryForumContacts

Google | Forvo | +

predicate calculus and proving theorems

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

Add | Report an error | Get short URL