 |
обобщнная | теоретико-высказывательная теорема о дедукции
- seuls les mots individuels ont été trouvés| теоретико-высказывательная теорема о дедукции | |
| math. | aussagenlogisches Deduktionstheorem |