CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Tarski, A., and Givant, S. A formalization of set theory without variables. American Math Society, 1987.
A. Tarski and S. Givant. A formalization of Set Theory without variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987.
Tarski, A. and Givant, S. (1987). A Formalization of Set Theory without Variables, volume 41. AMS Colloquium publications, Providence, Rhode Island.
Tarski, A., and Givant, S.R., A Formalization of Set Theory without Variables, Colloquium Publications in Math. 41, Amer. Math. Soc., 1987.
A. Tarski and S. Givant, A Formalization of Set Theory without Variables, AMS Colloquium Publications (American Mathematical Society, Providence, RI, 1987).
A. Tarski, S. Givant, A formalization of set theory without variables, AMS Collquium Publications, Providence, RI, 1987.
A. Tarski and S. Givant (1985), A Formalization of Set Theory without Variables, American Mathematical Society Colloquium Publications, vol. 41, Relation Algebras 31 Providence, Rhode Island.
A. Tarski and S. Givant. A formalization of set theory without variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987.
Tarski, A., and Givant, S. (1987). A Formalization of Set Theory without Variables. AMS colloquium Publications 41, Providence RI. Received 14 February
A. Tarski and S. Givant. A Formalization of Set Theory without Variables, volume 41 of Colloquium Publications. AMS, 1987.
A. Tarski, S. Givant. A formalization of set theory without variables. AMS Colloquium Publications, 41 (1988).
Tarski, A., Givant, S.: A Formalization of Set Theory Without Variables. AMS Colloquium Publications 41 (1987)
A. Tarski and S. Givant. A Formalization of Set Theory without Variables. Number 41 in Colloquium Publications. American Mathematical Society, Providence, 1987.
A. Tarski and S. Givant, A Formalization of Set Theory Without Variables, in: Colloquium Publications 41, American Mathematical Society, Providence, RI (1985).
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables, volume 41 of AMS Colloquium Publications. Providence, Rhode Island, 1987.
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables. American Mathematical Society, Providence, Rhode Island, 1986.
Tarski, A., and Givant, S. [1987]. A Formalization of Set Theory without Variables.
A. Tarski and S. Givant. A Formalization of Set Theory without Variables. Number 41 in Colloquium Publications. American Mathematical Society, Providence, 1987.
A. Tarski and S. Givant, A Formalization of Set Theory without Variables, A.M.S. Coll. Pub., vol. 41, 1987.
A. Tarski and S. Givant. A formalization of Set Theory without variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987.
Tarski,A. Givant,S. A formalization of set theory without variables. AMS Colloquium Publications, vol 41, 1988
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables. American Math. Soc., 1987.
Tarski, A. and Givant, S., A formalization of set theory without variables, Colloquium publications, V. 41, American Mathematical Society, Providence, RI, 1987.
Tarski,A., Givant,S. A formalization of set theory without variables. AMS Colloquium Publications, vol. 41, 1988.
A. Tarski and S. Givant. A formalization of Set Theory without variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987.
A. Tarski, S. Givant, A formalization of set theory without variables, AMS Collquium Publications, Providence, RI, 1987.
Alfred Tarski and Steven Givant. A formalization of Set Theory without variables. American Mathematical Society, Providence, R.I., 1987. 16
Tarski, A. & Givant, S. (1987). A formalization of set theory without variables, vol. 41 of Colloquium Publications. Providence: Amer. Math. Soc.
A Tarski and S R Givant. A Formalization of Set Theory Without Variables. Number 41 in Colloquium Publications in Mathematics. American Mathematical Society, Providence, Rhode Island, 1987.
A Tarski and S R Givant. A Formalization of Set Theory Without Variables. Number 41 in Colloquium Publications in Mathematics. American Mathematical Society, Providence, Rhode Island, 1987.
A Tarski and S R Givant. A Formalization of Set Theory Without Variables. Number 41 in Colloquium Publications in Mathematics. American Mathematical Society, Providence, Rhode Island, 1987. 38
A. Tarski and S. Givant, A Formalization of Set Theory without Variables, 280 pages, American Mathematical Society, Providence, 1988, ISBN 08218 -1041-3.
A Tarski and S R Givant. A Formalization of Set Theory Without Variables. Number 41 in Colloquium Publications in Mathematics. American Mathematical Society, Providence, Rhode Island, 1987.
A. Tarski and S. Givant. A Formalization of Set Theory without Variables (AMS Colloq. Publ. v. 41). Amer. Math. Soc., Rhode Island, 1987.
A Tarski and S Givant. A formalization of set theory without variables. American Mathematics Society, 41, 1987.
Tarski, A. and Givant, S. (1987). A formalization of set theory without variables, volume 41 of Colloquium Publications. Amer. Math. Soc., Providence.
Alfred Tarski and Steven Givant. A Formalization of Set Theory without Variables, volume 41 of Colloquium Publications. American Mathematical Society, Providence, Rhode Island, 1987. 35
Alfred Tarski and Steven Givant. A Formalization of Set Theory without Variables, volume 41 of Colloquium Publications. American Mathematical Society, Providence, Rhode Island, 1987.
Tarski, A., Givant, S., A Formalization of Set Theory Without Variables, AMS Colloquium Publications 41 (1987)
A. Tarski and S. Givant. A formalization of set theory without variables. Vol. 41 of Colloquium Publications. AMS, 1987.
A. Tarski and S. Givant. A formalization of set theory without variables. Amer. Math. Soc., 1987.
A Tarski and S Givant. A formalization of set theory without variables. American Mathematical Society Colloquium Publications, 41, 1987.
TG A. Tarski, S. Givant, A Formalization of Set Theory without Variables, AMS Colloquium publications, Providence, R.I., Vol 41, 1987.
Tarski, A. & Givant, S. (1987). A formalization of set theory without variables, vol. 41 of Colloquium Publications. Providence: Amer. Math. Soc.
Tarski, A. & Givant, S. (1987). A formalization of set theory without variables, vol. 41 of Colloquium Publications. Providence: Amer. Math. Soc.
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables, volume 41 of AMS Colloquium Publications. Providence, Rhode Island, 1987.
A. Tarski and S. Givant. A formalization of Set Theory without variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987.
A. Tarski and S. Givant. A formalization of set theory without variables. AMS Colloquium Publications, Vol. 41. American Mathematical Society, 1988. This article was typeset using the L A T E X macro package with the LLNCS2E class. 15
Tarski, A. and Givant, S.: A Formalization of Set Theory without Variables (A.M.S. Colloquium Publications 41, 1987).
A. Tarski and S. Givant, A Formalization of Set Theory without Variables (A.M.S. Colloquium Publications 41, 1987).
Alfred Tarski and Steven Givant. A Formalization of Set Theory Without Variables. American Mathematical Society, Colloquium Publications, Volume 41, 1987.
A Tarski and S R Givant. A Formalization of Set Theory Without Variables. Number 41 in Colloquium Publications in Mathematics. American Mathematical Society, Providence, Rhode Island, 1987. 16
Tarski,A. and Givant,S., A formalization of set theory without variables, AMS Colloquium publications, Providence, Rhode Island 41 (1987).
A. Tarski and S. Givant, A formalization of set theory without variables, AMS Colloquium Publications vol. 41, 1988.
Tarski, A. & Givant, S. (1987). A formalization of set theory without variables, vol. 41 of Colloquium Publications. Providence: Amer. Math. Soc.
Tarski, A., and Givant, S. A Formalization of Set Theory without Variables, vol. 41 of Colloquium Publications. American Mathematical Society, 1986.
Alfred Tarski and Steven Givant. A Formalization of Set Theory without Variables, volume 41 of Colloquium Publications. American Mathematical Society, Providence, Rhode Island, 1987. 37
Tarski, A., and Givant, S. A Formalization of Set Theory without Variables, vol. 41 of Colloquium Publications. American Mathematical Society, 1986.
A. Tarski and S. Givant. A Formalization of Set Theory without Variables, volume 41 of Colloquium Publications. American Mathematical Society, 1986. 47
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987.
A. Tarski and S. Givant. A formalization of Set Theory without variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987.
A. Tarski and S. Givant. A Formalization of Set Theory without Variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987. 48
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables, volume 41 of AMS Colloquium Publications. American Mathematical Society, 1987.
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables, volume 41 of AMS Colloquium Publications. Providence, Rhode Island, 1987.
Alfred Tarski and Steven R. Givant. A formalization of set theory without variables, volume 41 of Colloquium Publications. American Mathematical Society, Providence, RI, 1987. 318 pp.
A. Tarski and S. Givant. A formalization of set theory without variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987.
A. Tarski and S. Givant. A Formalization of Set Theory without Variables, volume 41. AMS Colloquium publications, Providence, Rhode Island, 1987.
A. Tarsky and S. Givant. A formalization of set theory without variables. AMS Publications, 1987.
A. Tarski and S. Givant. A formalization of set theory without variables. Vol. 41 of Colloquium Publications. AMS, 1987.
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables.Volume41ofAMS Colloquium Publications, Providence, Rhode Island, 1987.
Alfred Tarski and Steven Givant, A Formalization of Set Theory Without Variables, American Mathematical Society, Providence, 1988.
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables. Volume 41 of AMS Colloquium Publications, Providence, Rhode Island, 1987.
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables.Volume41ofAMS Colloquium Publications, Providence, Rhode Island, 1987.
A. Tarski and S. Givant. A Formalization of Set Theory Without Variables. Volume 41 of AMS Colloquium Publications, Providence, Rhode Island, 1987.
Alfred Tarski and Steven R. Givant, A formalization of set theory without variables, Colloquium Publications, vol. 41, American Mathematical Society, 1987.
Tarski, A. & Givant, S. (1987). A formalization of set theory without variables, vol. 41 of Colloquium Publications. Providence: Amer. Math. Soc. 15
A. Tarski and S. Givant. A formalization of set theory without variables. American Mathematical Society, Providence, R.I., 1987.
Tarski,A. and Givant,S., \A formalization of set theory without variables," AMS Colloquium publications Vol 41, Providence, Rhode Island, 1987.
Tarski, A. and Givant, S., A formalization of set theory without variables, Colloquium publications, V. 41, American Mathematical Society, Providence, RI, 1987. 28
Alfred Tarski and Steven Givant. A Formalization of Set Theory Without Variables. American Mathematical Society Colloquium Publications, Volume 41, 1987.
Alfred Tarski and Steven Givant. A Formalization of Set Theory Without Variables. American Mathematical Society, Colloquium Publications, Volume 41, 1987.
A. Tarski and S. Givant, A formalization of set theory without variables, American Mathematical Society, Providence, RI, 1987.
Alfred Tarski and Steven Givant, A Formalization of Set Theory without Variables, Colloquium Publications 41, American Mathematical Society, 1987.
Alfred Tarski and Steven Givant, A Formalization of Set Theory without Variables, Colloquium Publications 41, American Mathematical Society.
Alfred Tarski and Steven R. Givant, A Formalization of Set Theory without Variables, Colloquium Publications, vol. 41, American Mathematical Society, 1987.
A. Tarski and S. Givant. A formalization of set theory without variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987.
Alfred Tarski and Steven Givant, A Formalization of Set Theory without Variables, Colloquium Publications 41, American Mathematical Society, Providence, 1987. 45
Alfred Tarski and Steven Givant, A Formalization of Set Theory without Variables, Colloquium Publications 41, American Mathematical Society, Providence, 1987.
Alfred Tarski and Steven R. Givant, A Formalization of Set Theory without Variables, Colloquium Publications, vol. 41, American Mathematical Society, 1987.
Tarski, A., and Givant, S.R., A Formalization of Set Theory without Variables, Colloquium Publications in Math. 41, Amer. Math. Soc., 1987.
Alfred Tarski and Steven R. Givant, A Formalization of Set Theory without Variables, Colloquium Publications 41, American Mathematical Society, 1987. 24
A. Tarski and S. Givant. A formalization of set theory without variables. Amer. Math. Soc., 1987.
Tarski, A. and Givant, S. (1987). A formalization of Set Theory without variables, volume 41 of Colloquium Publications. American Mathematical Society.
A. Tarski and S. Givant. A Formalization of Set Theory without Variables, volume 41. AMS Colloquium publications, Providence, Rhode Island, 1987.
A. Tarski and S. Givant. A formalization of set theory without variables. AMS Colloquium Publications, Vol. 41. American Mathematical Society, 1988. This article was typeset using the L T E X macro package with the LLNCS2E class. 15
Tarski, A. and Givant, S. (1987). A formalization of set theory without variables, volume 41 of Colloquium Publications. Amer. Math. Soc., Providence.
Tarski, A. and Givant, S.: A Formalization of Set Theory Without Variables. American Mathematical Society Colloquium Publications, Volume 41, 1987. Received September 1997 Accepted in revised form January 2000 byIJMayes