Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Provability, Computability and Reflection.
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | Logic Colloquium Oxford, England |
Otros Autores: | Gandy, R. O. (Robin O.), Hyland, John Martin Elliott |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; New York : New York :
North-Holland Pub. Co. ; Sole distributors for U.S.A. and Canada, Elsevier North-Holland,
1977.
|
Colección: | Studies in logic and the foundations of mathematics ;
v. 87. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Ejemplares similares
-
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987) -
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Publicado: (1989) -
Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Publicado: (1979) -
Logic Colloquium '77 : proceedings of the colloquium held in Wroc�aw, August 1977 /
Publicado: (1978) -
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Publicado: (1986)