Una logica no estandard admisible para programas funcionales

Tesis doctoral de Ana Gil Luezas   Datos académicos de la tesis doctoral «Una logica no estandard admisible para programas […]

, , , ,