Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=au:"Givant, Steven R."'

Search

Your search returned 4 results.

Not what you expected? Check for suggestions

	1.	Decision problems for equational theories of relation algebras by Andreka, H \| Givant, Steven R.Nemeti, I. Series: Memoirs of the American Mathematical SocietyMaterial type: Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	A formalization of set theory without variables by Tarski, Alfred \| Givant, Steven R. Series: Colloquium Publications ; v. 41Material type: Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	Logic as algebra volume. 21 by Halmos, Paul R \| Givant, Steven R. Series: Dolciani Mathematical Expositions ; v. 21Material type: Text Publication details: [Washington, D.C.] : Mathematical Association of America, c1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	4.	The structure of relation algebras generated by relativizations by Givant, Steven R. Series: Contemporary mathematics ; v. 156Material type: Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)