From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /

Na minha lista:
Detalhes bibliográficos
Principais autores: Crosilla, Laura., Schuster, Peter.
Formato: Livro
Publicado em:
Assuntos:
Lógica simbólica e matemática.
Matemática construtiva.
Funções computáveis.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/162080
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-205522
record_format dspace
spelling oai:localhost:123456789-2055222022-11-30T16:56:16Z From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / Crosilla, Laura. Schuster, Peter. Lógica simbólica e matemática. Matemática construtiva. Funções computáveis. 2 2022-10-11T09:25:35Z 2022-10-11T09:25:35Z 2005. Livro 510.6 F931 9780198566519 (enc.). 162080 https://app.bczm.ufrn.br/home/#/item/162080 https://app.bczm.ufrn.br/home/#/item/162080
institution Acervo SISBI
collection SIGAA
topic Lógica simbólica e matemática.
Matemática construtiva.
Funções computáveis.
spellingShingle Lógica simbólica e matemática.
Matemática construtiva.
Funções computáveis.
Crosilla, Laura.
Schuster, Peter.
From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
description
format Livro
author Crosilla, Laura.
Schuster, Peter.
author_facet Crosilla, Laura.
Schuster, Peter.
author_sort Crosilla, Laura.
title From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
title_short From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
title_full From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
title_fullStr From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
title_full_unstemmed From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
title_sort from sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/162080
work_keys_str_mv AT crosillalaura fromsetsandtypestotopologyandanalysistowardspracticablefoundationsforconstructivemathematics
AT schusterpeter fromsetsandtypestotopologyandanalysistowardspracticablefoundationsforconstructivemathematics
_version_ 1766852448407781376

Registros relacionados