Logic and foundations of mathematics. - Dalen D Ven (1968)