Varieties of constructive mathematics /
Na minha lista:
Principais autores: | Bridges, D. S., Richman, Fred |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/99993 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Foundational theories of classical and constructive mathematics /
por: Sommaruga, Giovanni,
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) -
Constructivism in mathematics : an introduction /
por: Troelstra, A. S. (Anne Sjerp), et al.
Publicado em: (2022) -
Constructibility and mathematical existence /
por: Chihara, Charles S.,
Publicado em: (2022) -
Bounded arithmetic, propositional logic, and complexity theory /
por: Krajicek, Jan.
Publicado em: (2022)