Mathematical Problems From applied Logic I
Language: English
Published by SPRINGER, 2005
- Hardcover
- New
Seller: UK BOOKS STORE, London, London, United KingdomUK BOOKS STORE
AbeBooks seller since March 11, 2024
Condition: New
US$ 72.00
Quantity: 11 available
Add to basketItem description from seller
Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Seller Inventory # om 9780387286884
- Title
- Mathematical Problems From applied Logic I
- Author
- DOV M GABBAY
- Publisher
- SPRINGER
- Publication year
- 2005
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0387286888
- ISBN 13
- 9780387286884
- Edition
- International Edition
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics, and computability theory. The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic.
"Synopsis" may belong to another edition of this title.
From the Back Cover
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and computability theory. The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic. This should be of interest to logicians and mathematicians in general.
Contributors include: Franz Baader (Germany) and Ralf Küsters (Germany), Lev Beklemishev (The Netherlands/Russia) and Albert Visser (The Netherlands), Johan van Benthem (The Netherlands/USA), S Barry Cooper (UK), John N Crossley (Australia), Wilfrid A Hodges (UK), and Lawrence S Moss (USA).
"About the title" may belong to another edition of this title.
UK BOOKS STORE
London, London, United Kingdom
AbeBooks seller since March 11, 2024
Shipping rates from United Kingdom to U.S.A.
| Item | 5 to 10 business days | 4 to 7 business days |
|---|---|---|
| First item | US$ 8.00 | US$ 13.35 |
Payment methods
Seller's business information
URBAN BOOK LIMITED
71-75 Shelton Street, Covent Garden
London, United Kingdom WC2H 9JQ