|
|
|||
|
||||
OverviewFull Product DetailsAuthor: George Metcalfe , Francesco Paoli , Constantine TsinakisPublisher: American Mathematical Society Imprint: American Mathematical Society Volume: 277 Weight: 0.213kg ISBN: 9781470469856ISBN 10: 1470469855 Pages: 265 Publication Date: 31 December 2023 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsOrder and residuation Proof systems Consequence relations Structure theory Semilinearity and distributivity Cancellativity Divisibility Bridges between algebra and logic Finite embeddings and finite models Open problems Basic notions of universal algebra Index BibliographyReviewsAuthor InformationGeorge Metcalfe, University of Bern, Switzerland. Francesco Paoli, University of Cagliari, Italy. Constantine Tsinakis, Vanderbilt University, Nashville, TN. Tab Content 6Author Website:Countries AvailableAll regions |