Report - Types, preuves et logique combinatoire - LaLIClalic.paris-sorbonne.fr/PUBLICATIONS/1997-1998/Descles/Neuchatel.pdf · ... la logique des propositions et des prédicats, ... (ou logique

Please pass captcha verification before submit form