Akademska digitalna zbirka SLovenije - logo
Koroška osrednja knjižnica dr. Franca Sušnika Ravne na Koroškem - vsi oddelki (SIKRA)
  • Osnove matematične logike. Del 2, Formalizacija
    Prijatelj, Niko
    V tem delu knjige je predstavljena elementarna teorija izjavnega računa in formalnih sestavov prvega reda. Nadrobno je prikazan sintaktični in semantični razvoj formalnih teorij. Osnovni izidi ... klasične dvovrednostne logike so zajeti v teoremih, ki so utemeljeni z ustreznimi dokazi.
    Vrsta gradiva - učbenik
    Založništvo in izdelava - Ljubljana : Društvo matematikov, fizikov in astronomov Slovenije, 1992
    Jezik - slovenski
    COBISS.SI-ID - 30593024

Signatura – lokacija, inventarna št. ... Status izvoda Rezervacija
Študijska knjižnica
M 0000004376/0000000033/0000000002
IN: 1131902 Študijska knjižnica
M 4376/33/2
IN: 1131902 		prosto - na dom, čas izposoje: 21 dni
Študijska knjižnica
M 0000004376/ 33/2,a
IN: Študijska knjižnica
M 4376/ 33/2,a
IN: 		info v knjižnici
loading ...
loading ...
loading ...

Vnos na polico