Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas
Editorial: Madrid : [Universidad Complutense], Servicio de Publicaciones, [2004]
ISBN: 84-669-1614-8
Any de publicació: 2004
Tipus: Llibre