Modelos generales de la logica de segundo orden.

Tesis doctoral de Manzano Arjona M. Gracia Este trabajo constituye un estudio autocontenido de la logica de segundo orden. Los […]

, , , ,