A `Theory' mechanism for a proof verifier based on first-order set theory

OMODEO, EUGENIO

SCHWARTZ J. T.