Posnetek vaj 27.10.2021 (Hilbertovi aksiomi: naloge 9,10,11)

Kliknite na povezavo https://unilj-my.sharepoint.com/:v:/g/personal/jure_kalisnik_fmf_uni-lj_si/EeTXeUhoi6RIgE5CePOQj18BwD9Id0wJu0kuLL-zEV-SXA?e=NGiRdg, če želite odpreti vir.