Teoria del primo ordine: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Sostituzione automatica (-\{\{[Ss]tub[ _]([^}]+)\}\} +{{S|\1}}) |
m robot Aggiungo: cs, fa, he, ko, nl Modifico: zh |
||
Riga 42:
[[Categoria:Logica matematica]]
[[cs:Predikátová logika]]
[[de:Prädikatenlogik]]
[[en:First-order logic]]
[[es:Lógica de primer orden]]
[[fa:منطق محمولات]]
[[fr:Calcul des prédicats]]
[[he:שפה מסדר ראשון]]
[[
[[ja:一階述語論理]]
[[ko:1차 논리]]
[[nl:Predikatenlogica]]
[[pl:Rachunek predykatów pierwszego rzędu]]
[[pt:Lógica de primeira ordem]]
[[ru:Логика первого порядка]]
[[sv:Predikatlogik]]
[[zh:一阶逻辑]]
|