Hilbert's epsilon-operator in Doctrines

Fabio Pasquali. Hilbert's epsilon-operator in Doctrines. FLAP, 4(2), 2017. [doi]

Abstract

Abstract is missing.