Constructivism in mathematics : an introduction /
Na minha lista:
Principais autores: | Troelstra, A. S. (Anne Sjerp), Dalen, D. van (Dirk) |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/101506 |
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) -
Bounded arithmetic, propositional logic, and complexity theory /
por: Krajicek, Jan.
Publicado em: (2022) -
Introduction to elementary mathematical logic /
por: Stoliar, A. A. (Abram Aronovich)
Publicado em: (2022) -
Introduction to mathematical logic /
por: Mendelson, Elliott.
Publicado em: (2022)