Chargement en cours…

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.

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Boolos, George
Autres auteurs: Burgess, John P., 1948-, Jeffrey, Richard C.
Format: Électronique eBook
Langue:Inglés
Publié: Cambridge ; New York : Cambridge University Press, 2002.
Édition:4th ed. /
Sujets:
Accès en ligne:Texto completo