Intended for logicians and mathematicians, this text is based on Dr. Hamilton's lectures to third and fourth year undergraduates in mathematics at the University of Stirling. With a prerequisite of first year mathematics, the author introduces students and professional mathematicians to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, it is placed in the context of mathematics. To emphasize the level, the text progresses from informal discussion to the precise description and use of formal mathmematical and logical systems. The revision of this very successful textbook includes new sections on skolemization and the application of well-formed formulae to logic programming; numerous corrections have been made and extra exercises added.
"synopsis" may belong to another edition of this title.
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. rev. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 11786150-6
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. rev. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP78715931
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00093054801
Seller: Half Price Books Inc., Dallas, TX, U.S.A.
paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_453719668
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR002400926
Quantity: 1 available
Seller: Anybook.com, Lincoln, United Kingdom
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:9780521368650. Seller Inventory # 5784345
Quantity: 1 available
Seller: Anybook.com, Lincoln, United Kingdom
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:9780521368650. Seller Inventory # 5784341
Quantity: 1 available
Seller: Anybook.com, Lincoln, United Kingdom
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:9780521368650. Seller Inventory # 5784346
Quantity: 1 available
Seller: Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, Germany
Broschiert. Condition: Gut. Revised Edition. 23 cm VIII, 228 S. :. Broschiert. Sprache: Englisch, Zustand: Gut min. gebräunt (Innen); Es gibt leichte BL-Anmerkungen/Unterstreichungen auf ca. 30 Seiten; Einband (Außen) hat geringe bis leichte Gebrauchsspuren; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt. Seller Inventory # 904139
Seller: Plurabelle Books Ltd, Cambridge, United Kingdom
Paperback. Condition: Very Good. 228p red paperback, pages clean, with glossary and index, VG Language: English. Seller Inventory # 79362
Quantity: 1 available