Iniciativa IMDEA
Resumen: Arithmetic theories are first-order logics about number systems, such as the integers or the real numbers. They represen...