„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 Robot dolgozik: – cseréje nagykötőjelre |
a ISBN-azonosítók tagolása szóközzel (lásd ISBN szócikkben 2007. március 24., 20:55 megadott irodalmat) |
||
235. sor:
* ''Urbán János'': '''''Matematikai logika'''''. Példatár. Műszaki Könyvkiadó, Bp., [[1983]]. ISBN 963-10-4683.
* ''Pásztorné Varga Katalin'' – ''Várterész Magda'': '''''A matematikai logika alkalmazásszemléletű tárgyalása'''''. Panem, Bp., [[2003]]. ISBN 963
* ''Papadimitriou C. H.'': '''''Számítási bonyolultság'''''. Novadat Bt., Bp., [[1999]]. ISBN 963
* ''Ruzsa Imre'': '''''Logikai szintaxis és szemantika I.'''''. Akadémiai Kiadó, Bp., [[1988]]. ISBN 963
* ''Csirmaz László'': '''''Matematikai logika'''''. Jegyzet, ''Hajnal András'' előadásainak felhasználásával.. ELTE Bp., [[1994]]. ELTE 94024.
* ''Fritz Reinhardt'' – ''Heinrich Soeder'' : '''''SH Atlasz - Matematika'''''. Springer-Verlag, Bp., 1995. ISBN 963
=== Külső hivatkozások ===
|