Tools

LEADER 01352cam 2200373 a 4500

001 ocm14167511;

003 OCoLC;

005 20141212123739.0;

008 860814s1987 riua b 001 0 eng ;

010 a| 86022168;

020 a| 0821810413 (alk. paper);

035 a| (Sirsi) o14167511;

035 a| (OCoLC)14167511;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

082 0 a| 511.3/222| 19;

090 a| QA248b| .T37 1987;

100 1 a| Tarski, Alfred,d| 1901-1983=| ^A58871;

245 12 a| A formalization of set theory without variables /c| by Alfred Tarski and Steven Givant.;

300 a| xxi, 318 pages :b| illustrations ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Colloquium publications ;v| v. 41;

500 a| Includes indexes.;

504 a| Bibliography: p. 273-282.;

650 0 a| Set theory.=| ^A26682;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

700 1 a| Givant, Steven R.=| ^A387377;

830 0 a| Colloquium publications (American Mathematical Society)v| v. 41.=| ^A77623;

596 a| 1;

998 a| 614571;

999 a| QA248 .T37 1987w| LCc| 1i| 30372004359565d| 3/27/2013e| 1/29/2002f| 3/27/2013g| 1l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 6/4/1997x| BOOKz| JSTACKSo| .STAFF. 0;

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

Author/creator	Tarski, Alfred
Other author	Givant, Steven R.
Format	Book
Publication Info	Providence, R.I. : American Mathematical Society, ©1987.
Description	xxi, 318 pages : illustrations ; 26 cm.
Subjects	Set theory. Logic, Symbolic and mathematical.

Series	Colloquium publications ; v. 41 Colloquium publications (American Mathematical Society) v. 41. ^A77623
General note	Includes indexes.
Bibliography note	Bibliography: p. 273-282.
LCCN	86022168
ISBN	0821810413 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA248 .T37 1987	✔ Available	Place Hold

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

Click here for more information about this title

Availability