Undecidable theoriesde Alfred TarskiMateriasMetamathematicsEdiciones (1)Undecidable theories (2010)Dover Publications · inglés · ISBN 9780486477039Má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
