Report copyright - 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
Please pass captcha verification before submit form