Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | Gödel '96 Brno, Czech Republic |
Otros Autores: | Hájek, Petr (Editor ) |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Cambridge :
Cambridge University Press,
2017.
|
Colección: | Lecture notes in logic ;
6. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Mathematics and plausible reasoning.
por: Pólya, George, 1887-1985
Publicado: (1968) -
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 /
Publicado: (2016) -
Kurt Gödel : collected works.
por: Gödel, Kurt
Publicado: (2014) -
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010) -
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
por: Gödel, Kurt
Publicado: (1940)