Lógica y lenguajes formales

Saved in:
Main Author: Lungarzo, Carlos
Format: Book
Language:Spanish
Published: Buenos Aires : Centro editor de América latina, 1986
Subjects:
Table of Contents:
  • v.2. Sistemas de primer orden y deducción