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

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

ISBN: 84-669-1614-8

Year of publication: 2004

Type: Book

DIALNET GOOGLE SCHOLAR
Data source: Dialnet