„Elsőrendű nyelv” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
aNincs szerkesztési összefoglaló |
a kategóriák új sorba rendezése |
||
247. sor:
* [http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_pkata.pdf Részletesebb, de nem magyar nyelvű összefoglalás] (angolul)
[[Kategória:Logika]]
[[Kategória:Matematikai logika]] [[en:First-order logic]] [[de:Prädikatenlogik]] [[fr:Calcul des prédicats]] [[pl:Klasyczny rachunek logiczny]] [[pt:Lógica de primeira ordem]] [[ru:Логика первого порядка]] [[sv:Predikatlogik]]
|