TY - BOOK AU - Lerman Manuel TI - Degrees of unsolvability : local and global theory SN - 3-540-12155-2 U1 - 511.3 PY - 1983/// CY - Berlin PB - Springer-Verlag KW - Mathematical logic KW - Unsolvability ER -