Constructivism in mathematics : an introduction /

Na minha lista:
Detalhes bibliográficos
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!
id oai:localhost:123456789-71797
record_format dspace
spelling oai:localhost:123456789-717972022-11-30T07:14:07Z Constructivism in mathematics : an introduction / Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), Lógica simbólica e matemática. Matemática construtiva. 2 2022-10-05T17:28:02Z 2022-10-05T17:28:02Z c1988. Livro 510.6 T843c 101506 https://app.bczm.ufrn.br/home/#/item/101506 https://app.bczm.ufrn.br/home/#/item/101506
institution Acervo SISBI
collection SIGAA
topic Lógica simbólica e matemática.
Matemática construtiva.
spellingShingle Lógica simbólica e matemática.
Matemática construtiva.
Troelstra, A. S. (Anne Sjerp)
Dalen, D. van (Dirk),
Constructivism in mathematics : an introduction /
description
format Livro
author Troelstra, A. S. (Anne Sjerp)
Dalen, D. van (Dirk),
author_facet Troelstra, A. S. (Anne Sjerp)
Dalen, D. van (Dirk),
author_sort Troelstra, A. S. (Anne Sjerp)
title Constructivism in mathematics : an introduction /
title_short Constructivism in mathematics : an introduction /
title_full Constructivism in mathematics : an introduction /
title_fullStr Constructivism in mathematics : an introduction /
title_full_unstemmed Constructivism in mathematics : an introduction /
title_sort constructivism in mathematics : an introduction /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/101506
work_keys_str_mv AT troelstraasannesjerp constructivisminmathematicsanintroduction
AT dalendvandirk constructivisminmathematicsanintroduction
_version_ 1766830325825011712