University of Guyana Library

Normal view MARC view ISBD view

Tarski, Alfred

A formalization of set theory without variables / by Alfred Tarski and Steven Givant. - Providence, R.I. :American Mathematical Society, 1987. - xxi, 318p. :charts. - (Colloquim vpublications, ISBN 0065-9258; v.41). .

ISBN: 0-8218-1041-3(alk. paper).

Subjects--Topical Terms:
Set theory.
Logic, --Symbolic and mathematical.

LC Class. No.: QA248 T37