A framework for priority arguments /
"This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the p...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Cambridge University Press,
2010.
|
| Series: | Lecture notes in logic ;
34. |
| Subjects: |
Evans: Library Stacks
| Call Number: |
QA9.54 .L47 2010 |
|
|---|---|---|
| Call Number | Status | Get It |
| QA9.54 .L47 2010 | Available | |