Elements logic foundat. mathem. problems door Marek