A formalization of set theory without variables

A formalization of set theory without variables / by Alfred Tarski and Steven Givant.

Saved in:
Bibliographic Details
Main Author: Tarski, Alfred
Other Authors: Givant, Steven R.
Format: Book
Language:English
Published: Providence, R.I. : American Mathematical Society, c1987.
Series:Colloquium publications (American Mathematical Society) ; v. 41.
Subjects:
Set theory.
Logic, Symbolic and mathematical.
Description
Item Description:Includes indexes.
Physical Description:xxi, 318 p. : ill. ; 26 cm.
Bibliography:Bibliography: p. 273-282.
ISBN:0821810413 (alk. paper)
ISSN:0065-9258 ;

Similar Items