Extensions of First-Order Logic
Author:Manzano, Maria, van Rijsbergen, C. J., Abramsky, S.
ISBN-13:
9780521019026
ISBN:
0521019028
Pub Date: 2005
Publisher: Cambridge University Press
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.
- Used $74.56
- New $93.20
Product Details
ISBN-13:
ISBN:
Pub Date: 2005
Publisher: Cambridge University Press
9780521019026
ISBN:
0521019028
Pub Date: 2005
Publisher: Cambridge University Press
Where's My Stuff?
- Track your recent orders.
Shipping & Returns
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
Need Help?


