Foundational theories of classical and constructive mathematics /
Na minha lista:
Autor principal: | Sommaruga, Giovanni |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/190345 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Varieties of constructive mathematics /
por: Bridges, D. S., 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) -
Constructivism in mathematics : an introduction /
por: Troelstra, A. S. (Anne Sjerp), et al.
Publicado em: (2022) -
History and philosophy of constructive type theory /
por: Sommaruga, Giovanni
Publicado em: (2022) -
Classical mathematical logic : the semantic foundations of logic /
por: Epstein, Richard L.,, et al.
Publicado em: (2022)