Ayuda
Ir al contenido

Dialnet


A local normal form theorem for infinitary logic with unary quantifiers


Fundación Dialnet

Dialnet Plus

  • Más información sobre Dialnet Plus

Opciones de compartir

Opciones de entorno