Term logic with choice operator

Por: Hermes, HansTipo de material: TextoTextoSeries Lecture notes in mathematics ; ; 6Detalles de publicación: Berlin : Springer-Verlag, 1970Descripción: 55 pTema(s): LOGICA SIMBOLICA Y MATEMATICAClasificación CDD: 511.3
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)