Información del autor
Autor Martín de la Calle, Pedro Jesús |
Documentos disponibles escritos por este autor (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Martín de la Calle, Pedro Jesús | Universidad Complutense de Madrid, Servicio de Publicaciones | 2000Las tesis presenta sistemas de tableaux para tres extensiones de la lógica de primer orden. En cada una de ellas se estudian métodos de tableaux correctos y completos en dos versiones: básica y de variables libre. La primera es una Lógica con Pr[...]