TY - BOOK AU - Lerman, Manuel TI - Perspectives in logic degrees of unsolvability U1 - 511.3 PY - 2016/// CY - UK PB - CUP ER -