Hoppa till sidans huvudinnehåll

Del 150

Relation Algebras

Inbunden, Engelska, 2006

AvRoger Duncan Maddux,USA) Maddux, Roger Duncan (Department of Mathematics, Iowa State University, Ames, Iowa, 5001,Duncan Maddux, Roger

3 299 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.



  • Presents historical milestones from a modern perspective
  • Careful, thorough, detailed guide to understanding relation algebras
  • Provides a framework and unified perspective of the subject

Produktinformation

Tillhör följande kategorier

Hoppa över listan

Mer från samma serie

Del 146

Rudiments of Calculus

A. Arnold, D. Niwinski, France) Arnold, A. (c/o LaBRI Universite Bordeaux I 351, cours de la Liberation, 33405 Talence, 02-097 Warsaw) Niwinski, D. (Institute of Informatics, University of Warsaw, ul. Banacha 2, Andre Arnold

Inbunden

1 659 kr

Del 148

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay

Inbunden

2 909 kr

Del 147

Relation Algebras by Games

Robin Hirsch, Ian Hodkinson, UK) Hirsch, R. (University College, London, UK) Hodkinson, I. (Imperial College, London

Inbunden

2 679 kr

Del 152

Realizability

Jaap van Oosten, The Netherlands) van Oosten, Jaap (Utrecht University, Jaap Van Oosten

Inbunden

2 089 kr

Del 153

Quantification in Nonclassical Logic

Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman, King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, UK) Skvortsov, Dimitrij (Department of Computer Science, King's College London, UK) Shehtman, Valentin (Department of Computer Science, King's College London

Inbunden

2 659 kr

Hoppa över listan

Du kanske också är intresserad av

Del 151

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono, Japan Advanced Institute of Science and Technology) Galatos, Nikolaos (School of Information Science, USA) Jipsen, Peter (Chapman University, Orange, Australia) Kowalski, Tomasz (Australian National University, Canberra, Japan) Ono, Hiroakira (Japan Advanced Institute of Science and Technology, Ishikawa

Inbunden

2 509 kr

Del 148

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay

Inbunden

2 909 kr

Del 137

Handbook of Proof Theory

Samuel R. Buss, S. R. Buss, S.R. Buss, USA) Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, S. R. Buss

Inbunden

2 079 kr

Del 130

Language in Action

J. van Benthem, The Netherlands) van Benthem, J. (University of Amsterdam, Institute for Logic, Language and Computation, Amsterdam, J. Van Benthem, J. F. A. K. Van Benthem

Inbunden

1 669 kr

Del 152

Realizability

Jaap van Oosten, The Netherlands) van Oosten, Jaap (Utrecht University, Jaap Van Oosten

Inbunden

2 089 kr