Title: Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Publisher: University of California Press
Publication Date: 1996
Language: English
ISBN 10: 0520023560
ISBN 13: 9780520023567
Binding: Trade Paperback
Condition: Good to Very Good

About this title

Synopsis

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

About the Author

Geoffrey Hunter, now retired, has taught in the Department of Logic and Metaphysics at the University of St. Andrews, Scotland, and has also taught in Canada, England, the United States, and Wales.

"About this title" may belong to another edition of this title.

Store Description

Benjamin Books is a used bookstore located in Ottawa, Canada. We have many years of experience selling and shipping books to customers all over the world. Specializing in scholarly and antiquarian books.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

1062466 Ontario Ltd
122 Osgoode St., Ottawa, ON, K1N 6S2, Canada

Sale & Shipping Terms

Terms of Sale

All books are in very good condition unless otherwise described.
Customers in Canada will be charged 5% GST/TPS.
Delivery costs are not included in the list price.
VISA, Mastercard accepted.
Total cost, confirmation of availability, and responses to any questions will be communicated to the customer via e-mail prior to sale.
Special billing and shipping arrangements available to schools, libraries, governments, and other institutions.

Shipping Terms

Shipping rates based on books 1kg or less.

Shipping rates from Canada to U.S.A.

Shipping rates from Canada to U.S.A.
Order quantity	7 to 22 business days	5 to 15 business days
First item	US$ 12.00	US$ 32.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.