@book {
author = {Torkel Franzén},
title = {Gödel nemteljességi tételei},
year = {2015},
publisher = {Typotex Kiadó},
isbn = {978 963 279 370 2},
URL = {https://edu.interkonyv.hu/konyvek/torkel-franzen-godel-nemteljessegi-tetelei/}
}