proof theory . Filosoofia terminibaas. Институт эстонского языка, Сынавееб 2026. https://sonaveeb.ee/search/unif//fil/proof%20theory/1/eng (14.07.2026)
proof theory . Matemaatika terminibaas. Институт эстонского языка, Сынавееб 2026. https://sonaveeb.ee/search/unif//mat/proof%20theory/1/eng (14.07.2026)