Učitavanje video playera...
01:04:18
Marić, Logika konzervativnosti i druge podlogike sistema IL (2)
Na prošlom seminaru smo definirali sistem IL− i pokazali koliko ukupno ima podlogika sistema IL dobivenih dodavajući sistemu IL− određene aksiome. U nastavku seminara pokazat ćemo (ne)potpunost tih podlogika u odnosu na IL− okvire.
Objavljeno: 15.03.2022
Unutar kategorije: Obrazovanje
VoD paketi: SLOM