Report - Geometric and Higher Order Logic in terms of Abstract ...pt/ASD/geohol/geohol.pdf1 Introduction The powerset construction was the force behind set theory as Ernst Zermelo formulated

Please pass captcha verification before submit form