Report - Logique du premier ordre - FIL Lille 1salvati/cours/logique/...opérateur unaire : S, le successeur opérateurs binaires : + et , l’addition et la multiplication S(+(S(0); (S(S(0));S(0))))

Please pass captcha verification before submit form