Proof analysis : a contribution to Hilbert's last problem /

Na minha lista:
Detalhes bibliográficos
Principais autores: Negri, Sara, Von Plato, Jan.
Formato: Livro
Publicado em:
Assuntos:
Lógica simbólica e matemática.
Teoria das demonstrações.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/185311
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-121509
record_format dspace
spelling oai:localhost:123456789-1215092022-11-30T22:17:02Z Proof analysis : a contribution to Hilbert's last problem / Negri, Sara, Von Plato, Jan. Lógica simbólica e matemática. Teoria das demonstrações. 2 2022-10-06T05:26:17Z 2022-10-06T05:26:17Z 2011. Livro 510.6 N389p 9781107008953 (enc.). 185311 https://app.bczm.ufrn.br/home/#/item/185311 https://app.bczm.ufrn.br/home/#/item/185311
institution Acervo SISBI
collection SIGAA
topic Lógica simbólica e matemática.
Teoria das demonstrações.
spellingShingle Lógica simbólica e matemática.
Teoria das demonstrações.
Negri, Sara,
Von Plato, Jan.
Proof analysis : a contribution to Hilbert's last problem /
description
format Livro
author Negri, Sara,
Von Plato, Jan.
author_facet Negri, Sara,
Von Plato, Jan.
author_sort Negri, Sara,
title Proof analysis : a contribution to Hilbert's last problem /
title_short Proof analysis : a contribution to Hilbert's last problem /
title_full Proof analysis : a contribution to Hilbert's last problem /
title_fullStr Proof analysis : a contribution to Hilbert's last problem /
title_full_unstemmed Proof analysis : a contribution to Hilbert's last problem /
title_sort proof analysis : a contribution to hilbert's last problem /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/185311
work_keys_str_mv AT negrisara proofanalysisacontributiontohilbertslastproblem
AT vonplatojan proofanalysisacontributiontohilbertslastproblem
_version_ 1766857740736528384

Registros relacionados