Español

Una lógica no estandar admisible para programas funcionales
Título Una lógica no estandar admisible para programas funcionales ;
Lugar de publicación Madrid
Editorial Editorial de la Universidad Complutense
Fecha de publicación 1990