Computability in Europe 2010

作者:Ferreira Fernando*; Hyland Martin; Loewe Benedikt; Mayordomo Elvira
来源:Annals of Pure and Applied Logic, 2012, 163(6): 621-622.
DOI:10.1016/j.apal.2011.10.005