Proof theory : sequent calculi and related formalisms /
Na minha lista:
| Autor principal: | Bimbó, Katalin. |
|---|---|
| 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!
|
Registros relacionados
-
Type theory and formal proof : an introduction /
por: Nederpelt, R. P., et al.
Publicado em: (2022) -
Proof, logic and formalization/
por: Detlefsen, Michael.
Publicado em: (2022) -
Theory of logical calculi : basic theory of consequence operations /
por: Wójcicki, Ryszard.
Publicado em: (2022) -
Proof theory /
por: Pohlers, Wolfram.
Publicado em: (2022) -
Proof and disproof in formal logic : an introduction for programmers /
por: Bornat, Richard,
Publicado em: (2022)