Rachunek predykatów pierwszego rzędu: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
MerlIwBot (dyskusja | edycje)
Addbot (dyskusja | edycje)
m Bot: Przenoszę 18 linków interwiki do Wikidata, znajdziesz je teraz w zasobie d:q4055684
Linia 189:
 
[[Kategoria:Logika matematyczna]]
 
[[ar:منطق الرتبة الأولى]]
[[cs:Predikátová logika prvního řádu]]
[[de:Prädikatenlogik erster Stufe]]
[[el:Λογική πρώτου βαθμού]]
[[en:First-order logic]]
[[es:Lógica de primer orden]]
[[ko:1차 논리]]
[[id:Logika predikat tingkat pertama]]
[[it:Teoria del primo ordine]]
[[he:שפה מסדר ראשון]]
[[kk:Предикаттық логика]]
[[pt:Lógica de primeira ordem]]
[[ru:Логика первого порядка]]
[[sr:Логика првог реда]]
[[sv:Första ordningens logik]]
[[tl:Lohika ng unang orden]]
[[uk:Логіка першого порядку]]
[[zh:一阶逻辑]]