Computability and logic

• Main Author: Boolos, George S.
• Other Authors: Jeffrey, Richard, Burgess, John P., 1948-
• Format: Book
• Language: English
• Published: Cambridge Cambridge University Press 2002
• Edition: 4th ed.
• Subjects: Μαθηματικά; Λογική, Συμβολική και μαθηματική
• Physical Description: xi, 356 p. fig. 26 cm.
• Bibliography: Includes bibliographical references and index
• ISBN: 0521809754