Δομή Κρίπκε: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Γραμμή 22:
{{reflist}}
[[Κατηγορία:Λογική για Υπολογιστές]]
[[Κατηγορία:Τυπικές μέθοδοι]]
|
Γραμμή 22:
{{reflist}}
[[Κατηγορία:Λογική για Υπολογιστές]]
[[Κατηγορία:Τυπικές μέθοδοι]]
|