Loading…

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.

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Boolos, George
Other Authors: Burgess, John P., 1948-, Jeffrey, Richard C.
Format: Electronic eBook
Language:Inglés
Published: Cambridge ; New York : Cambridge University Press, 2002.
Edition:4th ed. /
Subjects:
Online Access:Texto completo