Citations refer to the original publication, not to a Scieee localized version.
Mateo Ceballos, M. D. (2022). Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores. https://idus.us.es/items/34d22b70-713c-4d23-8111-d1c0bdb32df7
Mateo Ceballos, María Dolores. Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores. 2022. https://idus.us.es/items/34d22b70-713c-4d23-8111-d1c0bdb32df7.
Mateo Ceballos, María Dolores. Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores. 2022. https://idus.us.es/items/34d22b70-713c-4d23-8111-d1c0bdb32df7.
Mateo Ceballos, M. D. (2022) Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores. Available at: https://idus.us.es/items/34d22b70-713c-4d23-8111-d1c0bdb32df7.
M. D. Mateo Ceballos, “Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores,” 2022. [Online]. Available: https://idus.us.es/items/34d22b70-713c-4d23-8111-d1c0bdb32df7
@misc{mateoceballos2022logica,
author = {Mateo Ceballos, María Dolores},
title = {Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores},
year = {2022},
url = {https://idus.us.es/items/34d22b70-713c-4d23-8111-d1c0bdb32df7}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.