Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
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: |
Ejemplares similares
Ejemplares similares
-
Model theory /
por: Chang, Chen Chung, et al.
Publicado: (1978) -
Continuous model theory /
por: Chang, Chen Chung, et al.
Publicado: (1966) -
Lectures on infinitary logic and logics of programs /
por: Rasiowa, Helena, et al.
Publicado: (1974) -
Infinitary logic : in memoriam Carol Karp.
por: Kueker, David W. 1934-, et al.
Publicado: (1964) -
Uses of infinity
por: Zippin, Leo, et al.
Publicado: (1962)