Type: Book-Chapter
Publication Date: 2007-01-01
Citations: 0
DOI: https://doi.org/10.1007/978-0-387-30160-0_10031
| Action | Title | Year | Authors |
|---|---|---|---|
| + | Pseudo-Proof | 1992 |
Peter Skye |
| + | Proof-Reading | 2003 | |
| + | Proof System | 1983 |
Michio Honda Tatsuya Hagino Etsuya Shibayama |
| + | Chapter 7. Proof system | 1983 |
Michio Honda Tatsuya Hagino Etsuya Shibayama |
| + | Collection of Proofs | 2005 |
Antonella Cupillari |
| + | Quake-Proof | 2001 | |
| + | Proofing | 2008 | |
| + | Proofing | 2006 | |
| + | Computer-assisted proofs | 2006 | |
| + | Transition to Proofs | 2022 |
Simon RubinsteināSalzedo |
| + | Proof Theory | 1989 |
Wolfram Pohlers |
| + PDF Chat | Proof Theory | 2021 |
Stan Raatz |
| + | Proof theory | 1977 |
Kurt SchĆ¼tte |
| + | Proof theory | 1978 |
GianāCarlo Rota |
| + | Proof Theory | 1989 |
Wolfram Pohlers |
| + | Proof Theory | 2000 | |
| + | Proof theory | 1979 | |
| + | Proof Theory | 2008 |
Peter Aczel |
| + | Proof Theory | 1975 |
Gaisi Takeuti |
| + | Proof theory | 1994 |
| Action | Title | Year | Authors |
|---|
| Action | Title | Year | Authors |
|---|