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

Falguera López, José L.

Lógica clásica de primer orden estrategias de deducción, formalización y evaluación semantica José L. Felguera López, concepción Martínez Vidal - 482 p. il. 23 cm. - Colección estructura y procesos, serie filosofía .

Incluye: Bibliografía p. 477-482

8481642916


Lógica formal
Logica matematica

511.3 / FAL 1999

Universidad Autónoma de Chihuahua

C. Escorza 900, Col. Centro 31000

Tel. +52 (614) 439 1500

Chihuahua, Chih. México