Discussione:Aritmetica di Presburger
Questa voce contiene una traduzione, completa o parziale, della voce originale:
«Presburger arithmetic» tratta da Wikipedia in inglese.
La versione tradotta è del 20:04, 2 novembre 2018. Consulta la cronologia della pagina originale per conoscere l'elenco degli autori.
«Presburger arithmetic» tratta da Wikipedia in inglese.
La versione tradotta è del 20:04, 2 novembre 2018. Consulta la cronologia della pagina originale per conoscere l'elenco degli autori.