Lógica y lenguajes formales sistemas de primer orden y deducción

Bibliographic Details
Main Author: Lungarzo, Carlos
Format: Libros
Published: Buenos Aires Centro Editor de América Latina 1986
Subjects:
Online Access:Ver en el OPAC del Koha
LEADER 00671nam a2200181 a 4500
020 |a 950-25-1318-5 
040 |a FHyCS 
100 |a Lungarzo, Carlos 
245 |a Lógica y lenguajes formales  |b sistemas de primer orden y deducción 
260 |a Buenos Aires  |b Centro Editor de América Latina  |c 1986 
300 |a 269 p.  |c 21 cm 
650 |a Logica 
650 |a Deduccion 
653 |a LENGUAJE FORMAL 
942 |c LIB  |6 _ 
999 |c 18395  |d 18395 
952 |0 0  |1 0  |4 0  |6 162164_L963  |7 0  |9 27420  |a 06A  |b 06A  |d 2016-09-28  |l 0  |o 162/164 L963  |p 17874  |r 2016-09-28  |w 2016-09-28  |y LIB 
952 |0 0  |1 0  |4 0  |6 162164_L963  |7 0  |9 27421  |a 06A  |b 06A  |d 2016-09-28  |l 0  |o 162/164 L963  |p 21687  |r 2016-09-28  |w 2016-09-28  |y LIB