Συζήτηση:Λογική με πολλούς τύπους/Ιστορικό
Άλλες συζητήσεις [κατάλογος]
Αυτή η υποσελίδα προορίζεται για την αποθήκευση σημειώσεων που εμφανίζονται στην σελίδα ιστορικού του λήμματος.
Κατά κανόνα χρησιμοποιείται για την τοποθέτηση του προτύπου
Δείτε τις οδηγίες του προτύπου για λεπτομέρειες.
Κατά κανόνα χρησιμοποιείται για την τοποθέτηση του προτύπου
{{ενσωμάτωση κειμένου}} ή αντίστοιχων στο ιστορικό. Ο τρόπος χρήσης του είναι{{ενσωμάτωση κειμένου|κωδικόςΠηγαίαςΓλώσσας|τίτλοςΠηγαίουΛήμματος|oldid=123456789|χωρίς πηγές=ναι/όχι}}Δείτε τις οδηγίες του προτύπου για λεπτομέρειες.
 
|
Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Many-sorted logic της Αγγλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 4.0. (ιστορικό/συντάκτες). |