Lógica clásica de primer ordenestrategias de deducción, formalización y evaluación semántica

  1. Falguera López, José L.
  2. Martínez Vidal, Concepción

Editorial: Trotta

ISBN: 84-8164-291-6

Ano de publicación: 1999

Tipo: Libro

DIALNET GOOGLE SCHOLAR
Fonte de datos: Dialnet