Корично изображение Електронна книга

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