Lógica y lenguajes formales /

Bibliographic Details
Main Author: Lungarzo, Carlos, 1943-
Format: Book
Language:Spanish
Published: Buenos Aires : Centro Editor de América Latina, c1986.
Series:Bibliotecas universitarias. Lógica y epistemología
Subjects:
Table of Contents:
  • 1. Lenguaje, conjuntos y estructuras
  • 2. Sistemas de primer orden y deducción