Computabilidade e lógica /
Na minha lista:
Principais autores: | Boolos, George, Burgess, John P., Jeffrey, Richard C. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/237677 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Computability /
por: Weihrauch, K.
Publicado em: (2022) -
The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions /
por: Davis, Martin,
Publicado em: (2022) -
Theory of recursive functions and effective computability /
por: Rogers, Hartley,Jr.
Publicado em: (2022) -
Computability computable functions, logic and the foundations of mathematics /
por: Epstein, Richard L.,, et al.
Publicado em: (2022) -
From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
por: Crosilla, Laura., et al.
Publicado em: (2022)