Structural proof theory
Uloženo v:
| Hlavní autor: | Sara Negri |
|---|---|
| Médium: | Kniha |
| Jazyk: | Undetermined |
| Vydáno: |
Cambridge , UK
Cambridge Universiry Press
2001
|
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
|---|
Podobné jednotky
-
Structural proof theory
Autor: Negri, Sara
Vydáno: (2001) -
Proof patterns
Autor: Mark Joshi
Vydáno: (2015) -
Problems and Proofs in Numbers and Algebra
Autor: Millman, Richard S, a další
Vydáno: (2015) -
Dag Prawitz on Proofs
and Meaning
Autor: Wansing, Heinrich
Vydáno: (2015) -
The nuts and bolts of proofs
Autor: Cupillari, Antonella
Vydáno: (2005)