Seminar za matemati~cku logiku i osnove matematike
povijest

Sa~zetak: