Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | Logic Colloquium Marseille, France |
Otros Autores: | Stern, Jacques, 1949-, Herbrand, Jacques, 1908-1931 |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; New York : New York, N.Y. :
North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1982.
|
Colección: | Studies in logic and the foundations of mathematics ;
v. 107. |
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) -
Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Publicado: (1968) -
Realizability : an introduction to its categorical side /
por: Oosten, Jaap van
Publicado: (2008) -
Mathematical interpretation of formal systems
Publicado: (1955)