Try What Can be Computed by John MacCormick : https://press.princeton.edu/books/hardcover/9780691170664/what-can-be-computed https://press.princeton.edu/books/

Try What Can be Computed by John MacCormick : https://press.princeton.edu/books/hardcover/9780691170664/what-can-be-computed https://press.princeton.edu/books/hardcover/9780691170664/wh...