01017nam0-22003251i-450-9900013174004033210-8218-1041-3000131740FED01000131740(Aleph)000131740FED01000131740--------d--------km-y0itay50------baeng<<A >>formalization of set theory without variablesAlfred Tarski, Steven GivantProvidenceAmerican Mathematical Society1987XXI, 318 p., 26 cmColloquium PublicationsAmerican Mathematical Society41Logica generaleTeoria classica degli insiemiAssiomatica511.3Tarski,Alfred<1901-1983>1978Givant,StevenITUNINARICAUNIMARCBK99000131740040332126-F-11(41)7894MA1MA103BxxFormalization of set theory without variables382630UNINA