Computability : computable functions, logic, and the foundations of mathematics /
Na minha lista:
Principais autores: | Epstein, Richard L., Carnielli, Walter A. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/69351 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Computability computable functions, logic and the foundations of mathematics /
por: Epstein, Richard L.,, et al.
Publicado em: (2022) -
The incompleteness phenomenon : a new course in mathematical logic /
por: Goldstern, Martin., et al.
Publicado em: (2022) -
After Gödel : Platonism and rationalism in mathematics and logic /
por: Tieszen, Richard L.
Publicado em: (2022) -
An introduction to Gödel's Theorems /
por: Smith, Peter
Publicado em: (2022) -
The P=NP question and Gödel's lost letter /
por: Lipton, Richard J.
Publicado em: (2022)