Stock Photo: Cover May Be Different
Labelled Deductive Systems Volume 1
by Gabbay, Dov M
- Used
- very good
- Hardcover
- Condition
- Very Good
- ISBN 10
- 0198538332
- ISBN 13
- 9780198538332
- Seller
-
Charlottesville, Virginia, United States
Payment Methods Accepted
About This Item
E-134: Clarendon Press. Very Good. 1996. Hardcover. Hardcover. 8vo. Oxford at the Clarendon Press, Oxford, UK. 1996. 512 pgs. Bound in cloth boards with titles present to the spine and front board. Boards have light shelf-wear present to the extremities. Previous owner's name present to the front pastedown. Text is clean and free of marks. Binding tight and solid. This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists. EB; Oxford Logic Guides; 8vo 8" - 9" tall; 512 pages .
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Last Exit Books (US)
- Bookseller's Inventory #
- 62580
- Title
- Labelled Deductive Systems Volume 1
- Author
- Gabbay, Dov M
- Format/Binding
- Hardcover
- Book Condition
- Used - Very Good
- ISBN 10
- 0198538332
- ISBN 13
- 9780198538332
- Publisher
- Clarendon Press
- Place of Publication
- E-134
- Date Published
- 1996
Terms of Sale
Last Exit Books
All sales considered final. All items described to the best of my ability. Returns considered if sent back within 10 days of reciept with an email explanation sent to me first or if the item fails to match description. Refunds processed upon the reciept of the book.
�
About the Seller
Last Exit Books
Biblio member since 2005
Charlottesville, Virginia
About Last Exit Books
Please call ahead if you are visiting. Also, please have the title or number of the book that you before you come to visit. Sorry, but no browsing.
Glossary
Some terminology that may be used in this description includes:
- Cloth
- "Cloth-bound" generally refers to a hardcover book with cloth covering the outside of the book covers. The cloth is stretched...
- Tight
- Used to mean that the binding of a book has not been overly loosened by frequent use.
- Spine
- The outer portion of a book which covers the actual binding. The spine usually faces outward when a book is placed on a shelf....
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...