Kurt Gödel Philosopher-Scientist
undefined
Autor principal: | Audureau, Éric (-) |
---|---|
Otros Autores: | Bernard, Julien, Cantù, Paola, Crocco, Gabriella, Dawson, John W, Engelen, Eva-Maria, Floyd, Juliet, Haring, Silvia, Jr, Kanamori, Akihiro, Knobloch, Eberhard, Link, Montgomery, Magal, Oran, Mertens, Amélie, Mugnai, Massimo, Ternullo, Claudio, Tieszen, Richard, van Atten, Mark, Weingartner, Paul |
Formato: | Electrónico |
Idioma: | Inglés |
Publicado: |
Aix-en-Provence :
Presses universitaires de Provence
2021.
|
Colección: | Épistémè
|
Materias: | |
Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009667398406719 |
Ejemplares similares
Ejemplares similares
-
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 29 June 2021-2 July 2021, Rome, Italy
por: Institute of Electrical and Electronics Engineers,
Publicado: (2021) -
Reflections on Kurt Gödel
por: Wang, Hao, 1921-
Publicado: (1995) -
SNC'07 : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London (Ontario, Canada), July 25-27, 2007
por: Watt, Stephen M.
Publicado: (2007) -
Mathematical logic
por: Chiswell, Ian, 1948-
Publicado: (2007) -
Symbolic-numeric computation
por: Wang, Dongming
Publicado: (2007)