ISBN10: 0792369408, ISBN13: 9780792369400, [publisher: Springer] Hardcover Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
[Morangis, France] [Publication Year: 2001]

Springer, Date: 2001. Hardcover. Very Good. Former library book. Slight signs of wear on the cover. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. 2001. Springer ISBN 0792369408 9780792369400 [FR]

ISBN10: 0792369408, ISBN13: 9780792369400, [publisher: Springer Netherlands] Hardcover Druck auf Anfrage Neuware - Printed after ordering - The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989].
[Einbeck, Germany] [Publication Year: 2001] ...
Show/Hide image

ISBN10: 0792369408, ISBN13: 9780792369400, [publisher: Springer] Hardcover
[Dallas, TX, U.S.A.] [Publication Year: 2001]

ISBN10: 0792369408, ISBN13: 9780792369400, [publisher: Springer Netherlands] Hardcover Druck auf Anfrage Neuware - Printed after ordering - The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989].
[Einbeck, Germany] [Publication Year: 2001] ...
Show/Hide image

ISBN10: 0792369408, ISBN13: 9780792369400, [publisher: Springer] Hardcover Like New
[Redhill, SURRE, United Kingdom] [Publication Year: 2001]