Browsing by Author Borges, Ana de Almeida Gabriel Vieira
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 2023 | An Escape from Vardanyan's Theorem | Borges, Ana de Almeida Gabriel Vieira; Joosten, Joost J. |
| 12-Jan-2024 | Suitable logics: provability, temporal laws, and formalization | Borges, Ana de Almeida Gabriel Vieira |