Back to Results
First PageMeta Content
Mathematical logic / Logic / Mathematics / Model theory / Predicate logic / Automated theorem proving / Logic programming / Substitution / First-order logic / Normal distribution / Structure / Axiom of extensionality


¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1
Add to Reading List

Document Date: 2014-11-26 15:35:09


Open Document

File Size: 293,21 KB

Share Result on Facebook