Teoria del primo ordine: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Annullata la modifica 34005809 di 79.40.54.174 (discussione): l'incipt deve restare congruente col titolo della voce |
m Bot: Aggiungo: sk:Predikátová logika,fr:Calcul des prédicats,ko:1차 논리,he:שפה מסדר ראשון,af:Predikaatlogika,mk:Предикатна логика,fi:Predikaattilogiikka,hu,uk,et,de,id,ja,simple,nl |
||
Riga 44:
[[Categoria:Logica matematica]]
[[af:Predikaatlogika]]
[[ar:منطق الرتبة الأولى]]
[[cs:Predikátová logika prvního řádu]]
[[de:Prädikatenlogik]]
[[en:First-order logic]]
[[es:Lógica de primer orden]]
[[et:Predikaatloogika]]
[[fi:Predikaattilogiikka]]
[[fr:Calcul des prédicats]]
[[he:שפה מסדר ראשון]]
[[hu:Elsőrendű logika]]
[[id:Logika predikat tingkat pertama]]
[[ja:一階述語論理]]
[[ko:1차 논리]]
[[mk:Предикатна логика]]
[[nl:Predicatenlogica]]
[[pl:Rachunek predykatów pierwszego rzędu]]
[[pt:Lógica de primeira ordem]]
[[ru:Логика первого порядка]]
[[simple:Predicate logic]]
[[sk:Predikátová logika]]
[[sr:Логика првог реда]]
[[uk:Логіка першого порядку]]
| |||