Report - L´ogica computacional - cs.us.esjalonso/cursos/slc-96/slc-96.pdf · 1.2.4 Lema X+ es el menor subconjunto inductivo de A que contiene a X y es cerrado bajo F. 1.2.5 Definici´on

Please pass captcha verification before submit form