Computability and logic.
Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters.
Основен автор: | Boolos, George. |
---|---|
Други автори: | Burgess, John P., 1948-, Jeffrey, Richard C. |
Формат: | Електронна книга |
Език: | English |
Публикувано: |
Cambridge ; New York :
Cambridge University Press,
2002.
|
Издание: | 4th ed. / |
Предмети: | |
Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077 |
Подобни документи: |
Print version::
Computability and logic. |
Резюме: |
Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters. |
---|---|
Физически характеристики: |
1 online resource (xi, 356 pages) : illustrations |
Библиография: |
Includes bibliographical references (page 348) and index. |
ISBN: |
0511078064 9780511078064 0511076495 9780511076497 9781139164931 1139164937 |