VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Prijatelj N., Osnove matematične logike, 2. del, Formalizacija ...
    Vidav, Ivan
    Vir: Obzornik za matematiko in fiziko. - ISSN 0473-7466 (39, št. 4, 1992, str. 126-127)
    Vrsta gradiva - članek, sestavni del
    Leto - 1992
    Jezik - slovenski
    COBISS.SI-ID - 63755008