„Elsőrendű nyelv” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a ISBN link(ek) sablonba burkolása MediaWiki RfC alapján |
1 forrás archiválása és 0 megjelölése halott linkként. #IABot (v2.0beta10) |
||
237. sor:
=== Külső hivatkozások ===
* [www.cs.elte.hu/~kope/oktatas/09tav/ma2.pdf Komjáth Péter: Matematika logika (jegyzet)]
* [https://web.archive.org/web/20041206005947/http://www.pte.hu/~uhi/kurzus/prolog/ Nagyon vázlatos, de nem hiányos összefoglalás az elsőrendű logikáról]
* [http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_pkata.pdf Részletesebb, de nem magyar nyelvű összefoglalás] (angolul)
| |||