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: podemos concluir también que ABF es una clase de Fräıssé
Conector: por lo tanto,
Relación: reasoning
Género: theses