@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/} }