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

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
Autor Corporativo: Latin American Symposium on Mathematical Logic (-)
Otros Autores: Arruda, A. I. (Ayda Ignez) (-), Costa, Newton C. A. da, Chuaqui, R. (Rolando)
Formato: Libro
Idioma:Inglés
Publicado: Amsterdam [etc.] : North-Holland 1977.
Colección:Studies in Logic and the Foundations of Mathematics ; 89
Materias:
Lógica matemática no clásica > congresos y asambleas.
Teoría de modelos > congresos y asambleas.
Funciones calculables > congresos y asambleas.
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991005006009703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Descripción Física:xviii, 307 p. : il. ; 23 cm
Bibliografía:Bibliografía
ISBN:9780720407525

Ejemplares similares