A ‘Theory’ Mechanism for a Proof-Verifier Based on First-Order Set Theory
Journal article published in 2001 by
Eugenio G. Omodeo,
Jacob T. Schwartz
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 