Dadaczyński, J. „O niektórych Inspiracjach Hilbertowskiego Programu Formalizmu”. Filozofia Nauki, t. 26, nr 3, listopad 2018, s. 99-112, doi:10.14394/filnau.2018.0019.