Proceedings of the Second Scandinavian Logic Symposium
Provability, Computability and Reflection.
Clasificación: | Libro Electrónico |
---|---|
Autores Corporativos: | Scandinavian Logic Symposium University of Oslo, Association for Symbolic Logic |
Otros Autores: | Fenstad, Jens Erik (Editor ) |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam,
North-Holland Pub. Co.,
1971.
|
Colección: | Studies in logic and the foundations of mathematics ;
v. 63. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Ejemplares similares
-
Handbook of mathematical logic /
Publicado: (1977) -
A mathematical introduction to logic /
por: Enderton, Herbert B.
Publicado: (2001) -
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Publicado: (1982) -
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Publicado: (1983) -
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987)