Browsing by Subject Decidability (Mathematical logic)
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
|---|---|---|
| 24-Jan-2022 | Matemàtiques: una ciència incompleta | Navarro Borraz, Iris |
| 15-Jan-2024 | Sobre la decidibilitat de problemes computacionals | Garcia i Serrano, Aniol |
| 13-Jun-2022 | Veritats aritmètiques indemostrables en l'aritmètica de Peano | Pastó Pellicer, Paula |