Report - First-order many sorted logic and its interpretation in ...palmgren/fol.pdf · First-order many sorted logic and its interpretation in categories Erik Palmgren Notes, November 2,

Please pass captcha verification before submit form