Type: Book-Chapter
Publication Date: 1996-01-01
Citations: 118
DOI: https://doi.org/10.1007/978-94-009-1465-0_27
Action | Title | Year | Authors |
---|---|---|---|
+ | Proof and computation | 1993 | |
+ | Proof and Computation | 2018 |
Klaus Mainzer Peter Schuster Helmut Schwichtenberg |
+ | Intuition and Proof | 2017 |
Alan Sultan Alice F. Artzt |
+ | Proof and Narrative | 2011 |
Donald Galloway |
+ | Proofing | 2008 | |
+ | Proofing | 2006 | |
+ | Proof theory | 2013 |
Herman Ruge Jervell |
+ | Proof Theory | 1981 |
Kurt Schütte |
+ | Proof Theory | 1975 | |
+ | Proof Theory | 2008 | |
+ | 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 |