An introduction to many-sorted logic as an extension of first-order logic.
- Cambridge University Press
- Publication date:
- Cambridge Tracts in Theoretical Computer Science Series, #19
- Product dimensions:
- 6.85(w) x 9.72(h) x 0.83(d)
Table of Contents
1. Standard second order logic; 2. Deductive calculi; 3. Categoricity of second order peano arithmetic; 4. Frames and general structures; 5. Type theory; 6. Many-sorted logic; 7. Applying MSL.
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >