Back to Results
First PageMeta Content
Functions and mappings / Function / Axiom schema of replacement / First-order logic / Equivalence relation / Model theory / Μ operator / Primitive recursive function / Mathematics / Mathematical logic / Logic


A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2
Add to Reading List

Document Date: 2014-03-05 10:43:38

Open Document

File Size: 241,95 KB

Share Result on Facebook
UPDATE