Proof analysis : a contribution to Hilbert's last problem /
Na minha lista:
Principais autores: | Negri, Sara, Von Plato, Jan. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/185311 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
The nuts and bolts of proofs : an introduction to mathematical proofs /
por: Cupillari, Antonella.
Publicado em: (2022) -
The nuts and bolts of proofs /
por: Cupillari, Antonella.
Publicado em: (2022) -
Basic proof theory /
por: Troelstra, A. S., et al.
Publicado em: (2022) -
Journey into mathematics : an introduction to proofs /
por: Rotman, Joseph J.,
Publicado em: (2022) -
Hybrid logic and its proof-theory /
por: Braüner, Torben.
Publicado em: (2022)