Volume: Vol-4003 CILC 2025 | Year: 2025

Paper: « paper12 | paper13 | paper14 »

Diophantine Modeling of Provability in Algebraic Logic

• Andrea Formisano
• Isacco Gavazzi
• Eugenio G. Omodeo

PDF