Steven Givant

Steven Givant is a Professor of Mathematics and Computer Science at Mills College, California. As a long-term collaborator of Alfred Tarski--one of the great logicians--Givant has been involved first-hand in the development of the field of relation algebras since the 1970s. His previous books include Duality Theories for Boolean Algebras with Operators (Springer, 2014), Introduction to Boolean Algebras , with Paul Halmos (Springer, 2009), Logic as Algebra , with Paul Halmos (MAA, 1998), and A...See more

Steven Givant is a Professor of Mathematics and Computer Science at Mills College, California. As a long-term collaborator of Alfred Tarski--one of the great logicians--Givant has been involved first-hand in the development of the field of relation algebras since the 1970s. His previous books include Duality Theories for Boolean Algebras with Operators (Springer, 2014), Introduction to Boolean Algebras , with Paul Halmos (Springer, 2009), Logic as Algebra , with Paul Halmos (MAA, 1998), and A Formalization of Set Theory without Variables , with Alfred Tarski (AMS, 1987). He was also coeditor, with Ralph McKenzie, of Alfred Tarski's Collected Papers: Vol 1-4 (Birkh�user, 1986). See less