Intuitionistic type theory /

Na minha lista:
Detalhes bibliográficos
Principais autores: Martin-Lof, Per., Sambin, Giovanni.
Formato: Livro
Publicado em:
Assuntos:
Lógica matemática.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/55875
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-38949
record_format dspace
spelling oai:localhost:123456789-389492022-11-29T21:18:09Z Intuitionistic type theory / Martin-Lof, Per. Sambin, Giovanni. Lógica matemática. 1 2022-10-05T12:03:58Z 2022-10-05T12:03:58Z 91 p. Livro 510.6 M379i 8870881059 55875 https://app.bczm.ufrn.br/home/#/item/55875 https://app.bczm.ufrn.br/home/#/item/55875
institution Acervo SISBI
collection SIGAA
topic Lógica matemática.
spellingShingle Lógica matemática.
Martin-Lof, Per.
Sambin, Giovanni.
Intuitionistic type theory /
description
format Livro
author Martin-Lof, Per.
Sambin, Giovanni.
author_facet Martin-Lof, Per.
Sambin, Giovanni.
author_sort Martin-Lof, Per.
title Intuitionistic type theory /
title_short Intuitionistic type theory /
title_full Intuitionistic type theory /
title_fullStr Intuitionistic type theory /
title_full_unstemmed Intuitionistic type theory /
title_sort intuitionistic type theory /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/55875
work_keys_str_mv AT martinlofper intuitionistictypetheory
AT sambingiovanni intuitionistictypetheory
_version_ 1766821934119518208

Registros relacionados