کتاب های Steven R. Givant
![A Formalization of Set Theory without Variables (Colloquium Publications)](http://cdn.ketabkoo.com/covers/0/48873-n.jpg)
A Formalization of Set Theory without Variables (Colloquium Publications)
Alfred Tarski, Steven Givant, 1987![A formalization of set theory without variables](http://cdn.ketabkoo.com/covers/0/52612-n.jpg)
A formalization of set theory without variables
Alfred Tarski and Steven Givant, 1987![Decision Problems for Equational Theories of Relation Algebras](http://cdn.ketabkoo.com/covers/10/1036496-n.jpg)
Decision Problems for Equational Theories of Relation Algebras
Hajnal Andreka, Steven R. Givant, Istvan Nemeti, 1997![Decision Problems for Equational Theories of Relation Algebras](http://cdn.ketabkoo.com/covers/10/1068116-n.jpg)
Decision Problems for Equational Theories of Relation Algebras
Hajnal Andreka, Steven R. Givant, Istvan Nemeti, 1997![Relation Algebras 1 Introduction to Relation Algebras](http://cdn.ketabkoo.com/covers/10/1082849-n.jpg)
Relation Algebras 1 Introduction to Relation Algebras
Steven Givant, 2017![The Structure of Relation Algebras Generated by Relativizations](http://cdn.ketabkoo.com/covers/15/1542969-n.jpg)
The Structure of Relation Algebras Generated by Relativizations
Steven R. Givant (ed.), 1994![Introduction to Boolean Algebras (Instructor Solution Manual, Solutions)](http://cdn.ketabkoo.com/covers/16/1674190-n.jpg)