AA formalization of set theory without variablesA formalization of set theory without variablesde Alfred TarskiMateriasSet theorySymbolic and mathematical LogicEdiciones (1)A formalization of set theory without variables (1988)American Mathematical Society · inglésMás obras de Alfred TarskiCCardinal algebrasCardinal algebrasIIntroduction à la logiqueIntroduction à la logiqueLLogic, semantics, and metamathematicsLogic, semantics, and metamathematics
IIntroduction to logic and to the methodology of deductive scIntroduction to logic and to the methodology of deductive sciences