Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /

Detalles Bibliográficos
Autor principal: Keisler, H. Jerome (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Amsterdam : North Holland, 1979.
Colección:Studies in logic and the Foundations of Mathematics ; v. 62)
Materias:
LEADER 00769nam a2200217 u 4500
001 000304528
005 20110720143301.0
008 s1979 s1979 fs ||||| eng
035 |a 127093 
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
041 0 |a eng 
082 0 |a 511.3  |b K27m  |2 00 
100 1 |a Keisler, H. Jerome  |e Autor/a  |4 aut 
245 1 0 |a Model theory for infinitary logic :  |b logic with countable conjunctions and finite quantifiers /  |c H. Jerome Keisler. -- 
260 |a Amsterdam :  |b North Holland,  |c 1979. 
300 |a x 208 páginas ;  |c 22 cm.-- 
490 0 |a Studies in logic and the Foundations of Mathematics ;  |v v. 62) 
650 |a TEORIA DE MODELOS 
650 |a LENGUAJES INFINITOS 
949 |a J.C.-YV B YV 
916 |a Registros del LS-2000