Un estudio de las funciones parciales en la lógica de primer orden

  1. Gavilanes Franco, Antonio Javier
Libro:
Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)
  1. Martín Vide, Carlos (coord.)

Editorial: Promociones y Publicaciones Universitarias, PPU

ISBN: 84-7665-518-5 84-7665-517-7

Año de publicación: 1989

Volumen: 2

Páginas: 629-644

Congreso: Congreso de Lenguajes Naturales y Lenguajes Formales (4. 1988. Lleida)

Tipo: Aportación congreso