Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas

  1. Martín de la Calle, Pedro Jesús

Editorial: Madrid : [Universidad Complutense], Servicio de Publicaciones, [2004]

ISBN: 84-669-1614-8

Año de publicación: 2004

Tipo: Libro

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet