Degrees of unsolvability - Ambos-Spies, Klaus; Fejer, Peter A. (Handbook of the history of logic ; 9: Computational logic, 2014)
Gesehen am 08.08.2016