Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Latin-American Symposium on Mathematical Logic State University of Campinas
Otros Autores: Arruda, A. I. (Ayda Ignez), Costa, Newton C. A. da, Chuaqui, R.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : North-Holland Pub. Co., 1977.
Colección:Studies in logic and the foundations of mathematics ; v. 89.
Temas:
Nonclassical mathematical logic > Congresses.
Model theory > Congresses.
Computable functions > Congresses.
Logique math�ematique non classique > Congr�es.
Th�eorie des mod�eles > Congr�es.
Fonctions calculables > Congr�es.
MATHEMATICS > General.
Computable functions.
Model theory.
Nonclassical mathematical logic.
Congress
Conference papers and proceedings.
Actes de congr�es.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • I. Non classical logics
  • II. Model theory
  • III. Computability.

Ejemplares similares