| |
| 2007 | ||
|---|---|---|
| 15 | EE | Wilfried Sieg: The AProS Project: Strategic Thinking & Computational Logic. Logic Journal of the IGPL 15(4): 359-368 (2007) |
| 14 | EE | Wilfried Sieg: On mind & Turing's machines. Natural Computing 6(2): 187-205 (2007) |
| 2006 | ||
| 13 | EE | Wilfried Sieg: Gödel's Conflicting Approaches to Effective Calculability. CiE 2006: 536-537 |
| 2005 | ||
| 12 | EE | Wilfried Sieg: Computability and Discrete Dynamical Systems. CiE 2005: 440-440 |
| 11 | EE | Wilfried Sieg, Saverio Cittadini: Normal Natural Deduction Proofs (in Non-classical Logics). Mechanizing Mathematical Reasoning 2005: 169-191 |
| 10 | EE | Wilfried Sieg, Clinton Field: Automated search for Gödel's proofs. Ann. Pure Appl. Logic 133(1-3): 319-338 (2005) |
| 9 | EE | Wilfried Sieg: Only two letters: The correspondence between Herbrand and Gödel. Bulletin of Symbolic Logic 11(2): 172-184 (2005) |
| 1999 | ||
| 8 | EE | Wilfried Sieg: Hilbert's programs: 1917--1922. Bulletin of Symbolic Logic 5(1): 1-44 (1999) |
| 1998 | ||
| 7 | Wilfried Sieg, Frank Pfenning: Note by the Guest Editors. Studia Logica 60(1): 1 (1998) | |
| 6 | Wilfried Sieg, John Byrnes: Normal Natural Deduction Proofs (in classical logic). Studia Logica 60(1): 67-106 (1998) | |
| 1997 | ||
| 5 | EE | Wilfried Sieg: Step by recursive step: Church's analysis of effective calculability. Bulletin of Symbolic Logic 3(2): 154-180 (1997) |
| 1993 | ||
| 4 | Wilfried Sieg, Stanley S. Wainer: Program Transformation and Proof Transformation. CSL 1993: 305-317 | |
| 1988 | ||
| 3 | Wilfrid Hodges, Wilfried Sieg: A Symposium on Hilbert's Program. J. Symb. Log. 53(2): 337 (1988) | |
| 2 | Wilfried Sieg: Hilbert's Program Sixty Years Later. J. Symb. Log. 53(2): 338-348 (1988) | |
| 1987 | ||
| 1 | Wilfried Sieg: Relative Konsistenz. Computation Theory and Logic 1987: 360-381 | |
| 1 | John Byrnes | [6] |
| 2 | Saverio Cittadini | [11] |
| 3 | Clinton Field | [10] |
| 4 | Wilfrid Hodges | [3] |
| 5 | Frank Pfenning | [7] |
| 6 | Stanley S. Wainer | [4] |