Archive for Mathematical Logic | Revista