Computability computable functions, logic and the foundations of mathematics /
Na minha lista:
Principais autores: | Epstein, Richard L., Carnielli, Walter A. (Walter Alexandre) |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/101827 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Foundations of logic and theory of computation /
por: Sernadas, Amílcar., et al.
Publicado em: (2022) -
Logic and computation : interactive proof. with Cambridge LCF /
por: Paulson, Lawrence C.
Publicado em: (2022) -
Theories of computability /
por: Pippenger, Nicholas.
Publicado em: (2022) -
Handbook of computability theory /
por: Griffor, Edward R.,
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)