Un cálculo de LHP para LMPun cálculo heterogéneo parcial para lógica modal de predicados

  1. Huertas Sánchez, María Antonia
  2. Manzano Arjona, María Gracia
  3. Santos García, Gustavo
Libro:
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004
  1. Vicente Benito, Agustín (dir. congr.)
  2. Fuente López, Patricia de la (dir. congr.)
  3. Corredor Lanas, Cristina (dir. congr.)
  4. Barba Escribá, Juan (dir. congr.)
  5. Marcos Martínez, Alfredo (dir. congr.)

Editorial: [Valladolid : Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España], cop. 2004

ISBN: 84-688-8448-0

Año de publicación: 2004

Volumen: 0

Páginas: 486-490

Congreso: Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Congreso (4. 2004. Valladolid)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet