Κατηγορηματική λογική: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Αφαίρεση: es, it, pl, pt, ru |
μ Ρομπότ: Αφαίρεση: sr:Исказни рачун |
||
Γραμμή 27:
[[simple:Predicate logic]]
[[sk:Predikátová logika]]
[[sv:Predikatlogik]]
[[zh:一阶逻辑]]
|