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 /

Guardado en:
Detalles Bibliográficos
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: Procedimiento de la Conferencia Libro
Lenguaje:English
Publicado: Amsterdam ; New York : North-Holland Pub. Co. , 1977.
Colección:Studies in logic and the foundations of mathematics ; v. 89
Materias:
Nonclassical mathematical logic > Congresses.
Model theory > Congresses.
Recursive functions > Congresses.

CARM 1 Store

Detalle de Existencias desde CARM 1 Store
Número de Clasificación: A1:AQ18B0 B10556
Copia 1 Disponible  Hacer reserva

Ejemplares similares