Anmelden | German | Nutzungsvereinbarung

Google | Forvo | +

first-order logic-based formalism

формализм логики первого порядка (quantifiers Alex_Odeychuk)

Hinzufügen | Fehler melden | Kurzlink auf diese Seite