From truth to computability I
- 作者Giorgi Japaridze
- 卷第357卷
- 印刷ISSN0304-3975
- 文件大小447.83KB
- 发表时间2006
- DOI10.1016/j.tcs.2006.03.014
- 页码100-135
同作者推荐
PrefaceSergei Artemov; George Boolos; Erwin Engeler; Solomon Feferman; Gerhard Jäger; Albert Visser · 1995
PrefaceSergei Artemov · 2009
PrefaceSergei Artemov; Yuri Matiyasevich; Grigori Mints; Anatol Slissenko · 2010
EditorialZofia Adamowicz; Sergei Artemov; Damian Niwiński; Ewa Orłowska; Anna Romanowska; Jan Woleński · 2004
WoLLIC’2002Ruy de Queiroz; Bruno Poizat; Sergei Artemov · 2005
PrefaceSergei Artemov · 2009
ForewordSergei Artemov; Volker Diekert; Dima Grigoriev · 2008