Du?í, M., 2005. Kurt Gödel. Organon F, 12, pp.447-474. Available at: http://www.klemens.sav.sk/fiusav/doc/organon/2005/4/447-474.pdf.