Retracing elementary mathematicsde Leon HenkinMateriasMathematicsNumber theorySymbolic and mathematical LogicEdiciones (1)Retracing elementary mathematics (1962)Macmillan · inglésMás obras de Leon HenkinLogical systems containing only a finite number of symbolsRRetracing elementary mathematicsRetracing elementary mathematicsThe axiomatic method