Rachunek predykatów pierwszego rzędu: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m WP:SK, drobne techniczne |
|||
Linia 157:
* [[twierdzenie Gödla]]
* [[twierdzenie Herbranda]]
* [[twierdzenie Craiga]]
* [[Prolog_(język_programowania)|język programowania Prolog]].
{{Przypisy}}
| |||