Proof theory : sequent calculi and related formalisms /
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Publicado em: |
|
| Endereço do item: | https://app.bczm.ufrn.br/home/#/item/228943 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| id |
oai:localhost:123456789-152738 |
|---|---|
| record_format |
dspace |
| spelling |
oai:localhost:123456789-1527382022-10-06T14:35:54Z Proof theory : sequent calculi and related formalisms / Bimbó, Katalin. 2 2022-10-06T14:35:54Z 2022-10-06T14:35:54Z c2015. Livro 510.6 B611p 9781466564664 (enc.). 228943 https://app.bczm.ufrn.br/home/#/item/228943 https://app.bczm.ufrn.br/home/#/item/228943 |
| institution |
Acervo SISBI |
| collection |
SIGAA |
| description |
|
| format |
Livro |
| author |
Bimbó, Katalin. |
| spellingShingle |
Bimbó, Katalin. Proof theory : sequent calculi and related formalisms / |
| author_facet |
Bimbó, Katalin. |
| author_sort |
Bimbó, Katalin. |
| title |
Proof theory : sequent calculi and related formalisms / |
| title_short |
Proof theory : sequent calculi and related formalisms / |
| title_full |
Proof theory : sequent calculi and related formalisms / |
| title_fullStr |
Proof theory : sequent calculi and related formalisms / |
| title_full_unstemmed |
Proof theory : sequent calculi and related formalisms / |
| title_sort |
proof theory : sequent calculi and related formalisms / |
| publishDate |
2022 |
| url |
https://app.bczm.ufrn.br/home/#/item/228943 |
| work_keys_str_mv |
AT bimbokatalin prooftheorysequentcalculiandrelatedformalisms |
| _version_ |
1766845649775493120 |