Τυπικό σύστημα: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Robot: Changing template: Μεταφρασμένο; διακοσμητικές αλλαγές |
|||
Γραμμή 16:
[[Κατηγορία:Μαθηματική λογική]]
[[fr:Formalisme]]
[[ru:Формальные системы]]
[[zh:正規系統]]
|