Kvantifikatorski račun
objekt-teoriji), nego je to teorem u nekoj drugoj neformalnoj teoriji, koju nazivamo meta-teorija teorije T . 2. ISKAZNA LOGIKA KAO FORMALNA TEORIJA Iskazna i predikatska logika su u osnovi svake...
Matematika
Nezavisni univerzitet Banja Luka
13 stranica
Matematika, Seminarski radovi, Skripte
Objavio Jovan789
·