4016009
9780521019026
Extensions of First-Order Logic
by Manzano, Maria, van Rijsbergen, C. J., Abramsky, S.
31245
List Price
Discount
0% Off
You Save
$0.29
About this item
- Condition: New
- Provider: LightningBooks
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
370333
About this item
- Condition: Good
- Provider: Bonita
- Provider Rating: 0%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Product details
- ISBN-13: 9780521019026
- ISBN: 0521019028
- Publication Date: 2005
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself.Manzano, Maria is the author of 'Extensions of First-Order Logic', published 2005 under ISBN 9780521019026 and ISBN 0521019028.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
