Búsqueda de pruebas de ecuación en aritmética
Especifique axiomas para una versión de ecuación de la aritmética de Presburger.
Pruebe el teorema de doble negación en la aritmética de Presburger.
Muestre la lista de lemas en la prueba completa.
‹›
Ejemplos relacionados
