Proof theory of reflection
- 作者Michael Rathjen
- 卷第68卷
- 期第2期
- 印刷ISSN0168-0072
- 文件大小2610.98KB
- 发表时间1994
- DOI10.1016/0168-0072(94)90074-4
- 页码181-224
同作者推荐
PrefaceYuri Matiyasevich; Anil Nerode · 1996
PrefaceSergei Artemov; Yuri Matiyasevich; Grigori Mints; Anatol Slissenko · 2010
PrefaceYuri Matiyasevich · 2001
Biography of A.O. SlissenkoDanièle Beauquier; Dimitri Grigoriev; Yuri Matiyasevich · 2003
PrefaceYuri Matiyasevich; Sergei Artemov · 2006
Existential arithmetization of Diophantine equationsYuri Matiyasevich · 2009
Multiple serial episodes matchingPatrick Cégielski; Irène Guessarian; Yuri Matiyasevich · 2006
A New Formula for πYuri V. Matiyasevich · The American Mathematical Monthly · 1986