Memoirs of a proof theorist : Gödel and other logicians /
Na minha lista:
Autor principal: | Takeuti, Gaisi |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/102935 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
An introduction to Gödel's Theorems /
por: Smith, Peter
Publicado em: (2022) -
Kurt Godel : unpublished philosophical essays /
por: Rodríguez-Consuegra, Francisco A.,
Publicado em: (2022) -
After Gödel : Platonism and rationalism in mathematics and logic /
por: Tieszen, Richard L.
Publicado em: (2022) -
Incompleteness : the proof and paradox of Kurt Gödel /
por: Goldstein, Rebecca,, et al.
Publicado em: (2022) -
Incompletude : a prova e o paradoxo de Kurt Gödel /
por: Goldstein, Rebecca,
Publicado em: (2022)