Kvantifikatorski račun
meta-teorija teorije T . 2. ISKAZNA LOGIKA KAO FORMALNA TEORIJA Iskazna i predikatska logika su u osnovi svake matematičke teorije, ma kako se ona formalno izlagala. Tako, da bi smo...
Matematika
Nezavisni univerzitet Banja Luka
13 stranica
Matematika, Seminarski radovi, Skripte
Objavio Jovan789
·