Oración 1: a su vez, sabemos queN = {(2,∧,∨,¬, 0, 1 ) | n ∈ N} es un conjunto contable de representates de ABF módulo isomorfismo
Oración 2: ahora bien, sea χ : [Fu+m]t → [r] un coloreo fijo
Relación: neutral
Género: theses