Reading, Mass.: Addison-Wesley Pub. Co., Date: 1979. Ex-Library. Hardcover. Good/None. Green softcover with white titling on front and spine. Page edges toned and stamped with ex-university library. Text is unmarked. Spine is uncreased. 8vo. BOOK INFO: This volume is the first major published survey of unsolvability results for the predicate calculus since Suranyi's treatment in 1959. Developments in the intervening years have drastically changed both the results and the proof techniques in this area. The book deals with the theoretical possibility of determining by mechanical means whether particular statements of mathematical logic can be true; this is the oldest problem in the theory of computability. The main goal is to classify cases in which computable decision procedures are demonstrably nonexistent. Logicians, mathematicians, and computer scientists will welcome this publication. Includes index of terms. 1979. Addison-Wesley Pub. Co. ISBN 0201040697 9780201040692 [US]

paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. ISBN 0201040697 9780201040692 [US]

ISBN10: 0201040697, ISBN13: 9780201040692, [publisher: Addison-Wesley Educational Publishers Inc] Softcover Ancien livre de bibliothèque. Traces d'usure sur la couverture. Couverture légèrement déchirée. Salissures sur la tranche. Couverture différente. Edition 1980. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Slightly torn cover. Soiling on the side. Different cover. Edition 1980. Ammareal gives back up to 15% of this book's net price to charity organizations.
[Morangis, France] [Publication Year: 1980]
Show/Hide image