„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
a →Az elsőrendű nyelv: függvény egyértelműsítés |
a →Könyvek: ([http://www.renyi.hu/~csirmaz/ Postscript változat]) |
||
238. sor:
* ''Papadimitriou C. H.:'' '''''Számítási bonyolultság'''''. Novadat Bt., Bp., [[1999]]. ISBN 963 9056 20 0.
* ''Ruzsa Imre:'' '''''Logikai szintaxis és szemantika I.'''''. Akadémiai Kiadó, Bp., [[1988]]. ISBN 963 05 4720 1.
* ''Csirmaz László:'' '''''Matematikai logika'''''. Jegyzet, ''Hajnal András'' előadásainak felhasználásával
* ''Fritz Reinhardt'' – ''Heinrich Soeder'' : '''''SH Atlasz – Matematika'''''. Springer-Verlag, Bp., 1995. ISBN 963 8455 91 8.
|