Besonderhede van voorbeeld: 5964782634655326881

Czech

Pravidla tvorby definují termy a formule pro predikátovou logiku prvního řádu.

English

The formation rules define the terms and formulas of first order logic.