01301nam a2200373 i 450099100090225970753620020507175532.0931203s1987 us ||| | eng 0821810413b10773368-39ule_instLE01304067ExLDip.to Matematicaeng511.322AMS 03BAMS 03B30AMS 03C05AMS 03E30AMS 03G15QA248.T37Tarski, Alfred1978A formalization of set theory without variables /Alfred Tarski, Steven GivantProvidence, R. I. :American Mathematical Society,1987xxi, 318 p. ;26 cmColloquium publications, 0065-9258 ;41Mathematical logicSet theorySymbolic logicGivant, Steven R.authorhttp://id.loc.gov/vocabulary/relators/aut59680.b1077336823-02-1728-06-02991000902259707536LE013 03B TAR11 (1987)12013000072531le013-E0.00-l- 00000.i1087197428-06-02Formalization of set theory without variables1455580UNISALENTOle01301-01-93ma -engus 21