Varieties of constructive mathematics /

Na minha lista:
Detalhes bibliográficos
Principais autores: Bridges, D. S., Richman, Fred
Formato: Livro
Publicado em:
Assuntos:
Lógica matemática.
Matemática construtiva.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/99993
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-70715
record_format dspace
spelling oai:localhost:123456789-707152022-11-30T06:54:26Z Varieties of constructive mathematics / Bridges, D. S. Richman, Fred, Lógica matemática. Matemática construtiva. 5 2022-10-05T17:14:16Z 2022-10-05T17:14:16Z 1987. Livro 510.6 B851v 0521318025 (pbk.) 99993 https://app.bczm.ufrn.br/home/#/item/99993 https://app.bczm.ufrn.br/home/#/item/99993
institution Acervo SISBI
collection SIGAA
topic Lógica matemática.
Matemática construtiva.
spellingShingle Lógica matemática.
Matemática construtiva.
Bridges, D. S.
Richman, Fred,
Varieties of constructive mathematics /
description
format Livro
author Bridges, D. S.
Richman, Fred,
author_facet Bridges, D. S.
Richman, Fred,
author_sort Bridges, D. S.
title Varieties of constructive mathematics /
title_short Varieties of constructive mathematics /
title_full Varieties of constructive mathematics /
title_fullStr Varieties of constructive mathematics /
title_full_unstemmed Varieties of constructive mathematics /
title_sort varieties of constructive mathematics /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/99993
work_keys_str_mv AT bridgesds varietiesofconstructivemathematics
AT richmanfred varietiesofconstructivemathematics
_version_ 1766823565540196352

Registros relacionados