First-Order Logic and First-Order Functions.

Rodrigo A. Freire First-Order Logic and First-Order Functions. 281-329 2015 9 Logica Universalis 3 https://doi.org/10.1007/s11787-015-0126-8 db/journals/lu/lu9.html#Freire15