Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica / José L. Falguera López, Concepción Martínez Vidal.
By: Falguera López, José Luis
.
Contributor(s): Martínez Vidal, Concepción
.
Material type: 

Item type | Current library | Call number | Status | |
---|---|---|---|---|
![]() |
Seminario Metropolitano de Oviedo Sala tercera | NCH-1172 | Available |
Incluye referencias bibliográficas (p. 477-482)
Lógica I.
There are no comments on this title.
Log in to your account to post a comment.