Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados

Por: Tipo de material: ArtículoArtículo En: CrM 72 (1992) 47-71F 2.2
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)
No hay ítems correspondientes a este registro

No hay comentarios en este titulo.

para colocar un comentario.