Computability And Logic
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1974 |
| Authors | George Boolos |
| Richard Jeffrey | |
| John P. Burgess | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3141783 |
About Computability And Logic
A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. . . .