Nepopolnost formalne aritmetike by Oddelek za matematiko in računalništvo | Avg 25, 2003 | Diplomska dela Avtor: Matjaž Kovše Mentor: dr. Uroš Milutinović