Structural proof theory
Na minha lista:
| Autor principal: | Sara Negri |
|---|---|
| Formato: | Livro |
| Idioma: | Undetermined |
| Publicado em: |
Cambridge , UK
Cambridge Universiry Press
2001
|
| Assuntos: | |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
|---|
Registos relacionados
-
Structural proof theory
Por: Negri, Sara
Publicado em: (2001) -
Proof patterns
Por: Mark Joshi
Publicado em: (2015) -
Problems and Proofs in Numbers and Algebra
Por: Millman, Richard S, et al.
Publicado em: (2015) -
Dag Prawitz on Proofs
and Meaning
Por: Wansing, Heinrich
Publicado em: (2015) -
The nuts and bolts of proofs
Por: Cupillari, Antonella
Publicado em: (2005)