Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
OK
Please make all selections above before adding to cart
OK
Share this page via the icons above, or by copying the link below:
Copy To Clipboard
Successfully Copied!
Algebraizable Logics
 
Algebraizable Logics
eBook ISBN:  978-1-4704-0816-9
Product Code:  MEMO/77/396.E
List Price: $17.00
MAA Member Price: $15.30
AMS Member Price: $13.60
Algebraizable Logics
Click above image for expanded view
Algebraizable Logics
eBook ISBN:  978-1-4704-0816-9
Product Code:  MEMO/77/396.E
List Price: $17.00
MAA Member Price: $15.30
AMS Member Price: $13.60
  • Book Details
     
     
    Memoirs of the American Mathematical Society
    Volume: 771989; 78 pp
    MSC: Primary 03; Secondary 08
  • Table of Contents
     
     
    • Chapters
    • Introduction
    • 1. Deductive systems and matrix semantics
    • 2. Equational consequence and algebraic semantics
    • 3. The lattice of theories
    • 4. Two intrinsic characterizations
    • 5. Matrix semantics and algebraizability
    • Appendix A. Elementary definitional equivalence
    • Appendix B. An example
    • Appendix C. Predicate logic
  • Requests
     
     
    Review Copy – for publishers of book reviews
    Permission – for use of book, eBook, or Journal content
    Accessibility – to request an alternate format of an AMS title
Volume: 771989; 78 pp
MSC: Primary 03; Secondary 08
  • Chapters
  • Introduction
  • 1. Deductive systems and matrix semantics
  • 2. Equational consequence and algebraic semantics
  • 3. The lattice of theories
  • 4. Two intrinsic characterizations
  • 5. Matrix semantics and algebraizability
  • Appendix A. Elementary definitional equivalence
  • Appendix B. An example
  • Appendix C. Predicate logic
Review Copy – for publishers of book reviews
Permission – for use of book, eBook, or Journal content
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.