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

Bibliographic Details
Main Author: Falguera López, José Luis (-)
Other Authors: Martínez Vidal, Concepción
Format: Book
Language:Castellano
Published: Madrid : Trotta D.L. 1999
Series:Colección Estructuras y procesos. Serie Filosofía
Subjects:
See on Biblioteca Universidad Eclesiástica San Dámaso:http://koha-opac.sandamaso.es/cgi-bin/koha/opac-detail.pl?biblionumber=oai:sandamaso
Request an interlibrarian loan: Email
Description
Physical Description:2 v. ; 23 cm
Bibliography:Incluye referencias bibliográficas (p. 477-482)
ISBN:9788481642919