%0 Thesis
%A Gil Luezas, Ana
%T Una lógica no estandar admisible para programas funcionales
%D 2015
%U https://hdl.handle.net/20.500.14352/40001
%~