From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
Na minha lista:
| Principais autores: | Crosilla, Laura., Schuster, Peter. |
|---|---|
| Formato: | Livro |
| Publicado em: |
|
| Assuntos: | |
| Endereço do item: | https://app.bczm.ufrn.br/home/#/item/162080 |
| 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) -
New computational paradigms: changing conceptions of what is computable /
por: Cooper, S. B., et al.
Publicado em: (2022) -
Varieties of constructive mathematics /
por: Bridges, D. S., et al.
Publicado em: (2022) -
Foundations of logic and theory of computation /
por: Sernadas, Amílcar., et al.
Publicado em: (2022) -
Foundational theories of classical and constructive mathematics /
por: Sommaruga, Giovanni,
Publicado em: (2022)