@book {
author = {Ferenczi Miklós and Szőts Miklós},
title = {Mathematical Logic for Applications},
year = {2016},
publisher = {Typotex Kiadó},
isbn = {978 963 279 452 5},
URL = {https://edu.interkonyv.hu/konyvek/ferenczi-szots-mathematical-logic-for-applications/}
}