Δομή Κρίπκε: Διαφορά μεταξύ των αναθεωρήσεων

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