Učitavanje video playera...
01:04:18
Stipe 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.
