Basic proof theory /

Na minha lista:
Detalhes bibliográficos
Principais autores: Troelstra, A. S., Schwichtenberg, Helmut
Formato: Livro
Publicado em:
Assuntos:
Lógica simbólica.
Teoria das demonstrações.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/88530
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-62503
record_format dspace
spelling oai:localhost:123456789-625032022-11-30T04:27:22Z Basic proof theory / Troelstra, A. S. Schwichtenberg, Helmut, Lógica simbólica. Teoria das demonstrações. 1 2022-10-05T15:35:06Z 2022-10-05T15:35:06Z 2000. Livro 510.6 T843b 2.ed. 0521779111 (broch.). 88530 https://app.bczm.ufrn.br/home/#/item/88530 https://app.bczm.ufrn.br/home/#/item/88530
institution Acervo SISBI
collection SIGAA
topic Lógica simbólica.
Teoria das demonstrações.
spellingShingle Lógica simbólica.
Teoria das demonstrações.
Troelstra, A. S.
Schwichtenberg, Helmut,
Basic proof theory /
description
format Livro
author Troelstra, A. S.
Schwichtenberg, Helmut,
author_facet Troelstra, A. S.
Schwichtenberg, Helmut,
author_sort Troelstra, A. S.
title Basic proof theory /
title_short Basic proof theory /
title_full Basic proof theory /
title_fullStr Basic proof theory /
title_full_unstemmed Basic proof theory /
title_sort basic proof theory /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/88530
work_keys_str_mv AT troelstraas basicprooftheory
AT schwichtenberghelmut basicprooftheory
_version_ 1766826996195655680

Registros relacionados