A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory.

Eugenio G. Omodeo Jacob T. Schwartz A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory. 214-230 2002 conf/birthday/2002kowalski2 Computational Logic: Logic Programming and Beyond http://dx.doi.org/10.1007/3-540-45632-5_9 db/conf/birthday/kowalski2002-2.html#OmodeoS02