Ir al contenido

Documat


An equational variant of Lawvere's natural numbers object


Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno