First Page | Document Content | |
---|---|---|
Date: 2014-11-26 15:35:09Mathematical 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 NTRODUCTION1Add to Reading ListSource URL: www.nyu.eduDownload Document from Source WebsiteFile Size: 293,21 KBShare Document on Facebook |