 |
|
| RELATION ALGEBRAS, 150
| |
| | |
|
|
 To order this title, and for more information, click here
By
Roger Maddux, Department of Mathematics, Iowa State University, Ames, Iowa, 5001, USA
Included in series
Studies in Logic and the Foundations of Mathematics, 150
Description
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras,
has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification
theory, AI---and in anthropology, economics, physics, and philosophical logic.
This comprehensive treatment of the theory of relation
algebras and the calculus of relations is the first devoted to a systematic development of the subject.
Audience
Mathematicians, logicians, computer scientists, and philosophers
Contents
Preface
List of Figures
List of Tables
Chapter 1. Calculus of relations
Chapter 2. Set theory
Chapter 3. General algebra
Chapter 4.
Logic with equality
Chapter 5. Boolean algebras
Chapter 6. Relation algebras
Chapter 7. Algebraic logic
Chapter 8. 4329 finite integral
relation algebras
Bibliography
Index
Bibliographic & ordering Information
Hardbound, 758 pages, publication date: MAY-2006
ISBN-13: 978-0-444-52013-5
ISBN-10: 0-444-52013-9
Imprint: ELSEVIER
Price: Order form
GBP 130
USD 220
EUR 190
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
050/500
Last update: 16 Jul 2008
|
|
| |
| | |
|
|
| |
