tõestusteooria . Filosoofia terminibaas. Eesti Keele Instituut, Sõnaveeb 2026.
https://sonaveeb.ee/search/unif//fil/t%C3%B5estusteooria/1/est (14.07.2026)

tõestusteooria . Matemaatika terminibaas. Eesti Keele Instituut, Sõnaveeb 2026.
https://sonaveeb.ee/search/unif//mat/t%C3%B5estusteooria/1/est (14.07.2026)