Rachunek predykatów pierwszego rzędu: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
WP:SK, drobne techniczne |
m Robot dodał de:Prädikatenlogik erster Stufe |
||
Linia 183:
[[ar:منطق الرتبة الأولى]]
[[cs:Predikátová logika prvního řádu]]
[[de:Prädikatenlogik erster Stufe]]
[[el:Λογική πρώτου βαθμού]]
[[en:First-order logic]]
| |||