Mathematical logic and theoretical computer science

Detalles Bibliográficos
Autor principal: Kueker, D.W
Otros Autores: López-Escobar, Edgardo G. K. (Editor ), Smith, Carl H. (Editor )
Formato: Libro
Lenguaje:English
Publicado: New York Dekker c1987
Colección:(Lecture notes in pure and applied mathematics v.106)
Materias:
LEADER 01123nam a2200289 a 4500
001 000000016155
003 OSt
005 20150930155028.0
008 150930t1987 xxu gr|||| 001 0 eng d
020 |a 0-8247-7746-8 
040 |a Sistema de Bibliotecas UNAH 
082 0 |a 511.3-M42ma 
100 |a Kueker, D.W 
245 0 0 |a Mathematical logic and theoretical computer science  |c David W. Kueker; Edgard G. K.; López-Escobar, Carl H. Smith 
260 |a New York  |b Dekker  |c c1987 
300 |a xviii, 383 p.  |c 25 cm. 
490 0 |a (Lecture notes in pure and applied mathematics  |v v.106) 
500 |a Documentos... presentados durante el XVI añ especial de el Departamento de Matemáticas de la Universidad de Maryland, 1984-1985 
504 |a Incluye referencias bibliográficas e indice 
650 4 |a LOGICA MATEMATICA 
650 4 |a PROCESAMIENTO ELECTRONICO DE DATOS 
650 4 |a ALGEBRA 
700 1 |a López-Escobar, Edgardo G. K.  |e editor 
700 1 |a Smith, Carl H.  |e editor 
942 |2 ddc  |c LB 
999 |c 16155  |d 16155 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_000000000000000_3M42MA  |7 0  |9 46370  |a CG  |b BC  |l 0  |o 511.3-M42ma  |p 270159  |y LB